diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-12 13:59:08 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-12 13:59:08 +0200 |
| commit | 91e6f8b321fb470cfffa578dcd7f24669186604f (patch) | |
| tree | 8c1b2a1ddb2e0484bde6c66553e80d3270fa8709 | |
| parent | 7409058f9af24d0aeee77081aa8739a2190a1ad5 (diff) | |
Adjust disfigure diagnostics
| -rw-r--r-- | build2/config/operation.cxx | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/build2/config/operation.cxx b/build2/config/operation.cxx index 65592c5..ddbfc79 100644 --- a/build2/config/operation.cxx +++ b/build2/config/operation.cxx @@ -575,10 +575,15 @@ namespace build2 { case rmdir_status::not_empty: { - warn << "directory " << out_root << " is " - << (out_root == work - ? "current working directory" - : "not empty") << ", not removing"; + // We used to issue a warning but it is actually a valid usecase + // to leave the build output around in case, for example, of a + // reconfigure. + // + if (verb) + info << "directory " << out_root << " is " + << (out_root == work + ? "current working directory" + : "not empty") << ", not removing"; break; } case rmdir_status::success: |