diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2020-07-01 11:22:00 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-07-01 11:22:00 +0200 |
| commit | bc254a9a76db00e880ef526e55406f3291d92d52 (patch) | |
| tree | 76490bb2d07d580e6e186cecae5131820afedb47 | |
| parent | efae38c7625998a3fad548b2c61880531bcf6ecc (diff) | |
Add additional diagnostics for disappearing header (GitHub issue #80)
| -rw-r--r-- | libbuild2/cc/compile-rule.cxx | 16 |
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 |