aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-07-01 11:22:00 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-07-01 11:22:00 +0200
commitbc254a9a76db00e880ef526e55406f3291d92d52 (patch)
tree76490bb2d07d580e6e186cecae5131820afedb47
parentefae38c7625998a3fad548b2c61880531bcf6ecc (diff)
Add additional diagnostics for disappearing header (GitHub issue #80)
-rw-r--r--libbuild2/cc/compile-rule.cxx16
1 files changed, 16 insertions, 0 deletions
diff --git a/libbuild2/cc/compile-rule.cxx b/libbuild2/cc/compile-rule.cxx
index 8fe5e98..559db15 100644
--- a/libbuild2/cc/compile-rule.cxx
+++ b/libbuild2/cc/compile-rule.cxx
@@ -3863,7 +3863,23 @@ namespace build2
{
// We can't be skipping over a non-existent header.
//
+ // @@ TMP: but this does seem to happen in some rare,
+ // hard to reproduce situations.
+#if 0
assert (!good_error);
+#else
+ if (good_error)
+ {
+ info << "previously existing header '" << f << "'"
+ << " appears to have disappeared during build" <<
+ info << "line: " << l <<
+ info << "skip: " << skip <<
+ info << "please report at "
+ << "https://github.com/build2/build2/issues/80";
+
+ assert (!good_error);
+ }
+#endif
skip--;
}
else