aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-08-23 20:28:54 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-08-23 20:28:54 +0200
commit6f37af4bd815fc6b75810d07eb2f4c2e9028f9c6 (patch)
tree0e8846cafe2f8e4fd2c8352b16e2890afca35d9d
parent1a362489a5e128088c15bcbedcce768ca7ff25ce (diff)
Don't clean generated cli files from src
-rw-r--r--build2/buildfile7
1 files changed, 5 insertions, 2 deletions
diff --git a/build2/buildfile b/build2/buildfile
index 55ce59d..2b24ec9 100644
--- a/build2/buildfile
+++ b/build2/buildfile
@@ -35,7 +35,10 @@ if $cli.configured
cli.options += --suppress-undocumented --long-usage --ansi-color \
--page-usage 'build2::print_$name$_' --option-length 20
- # Include generated cli files into the distribution.
+ # Include the generated cli files into the distribution and don't remove
+ # them when cleaning in src (so that clean results in a state identical to
+ # distributed).
#
- cli.cxx{*}: dist = true
+ cli.cxx{*}: dist = true
+ cli.cxx{*}: clean = ($src_root != $out_root)
}