aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build2/config/operation.cxx13
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: