diff options
| -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: |