aboutsummaryrefslogtreecommitdiff
path: root/clean/buildfile
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-08-24 13:48:24 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-08-24 16:15:51 +0300
commitef4617c665c5e281377b4fa10e462d5fb6716a4f (patch)
treed7f21c6ec8bdc54b41f8b239dcab18768142572e /clean/buildfile
parent8238ad84bf2e3894bf994ad6275605c2c099daf3 (diff)
Don't clean generated cli files from src
Diffstat (limited to 'clean/buildfile')
-rw-r--r--clean/buildfile7
1 files changed, 5 insertions, 2 deletions
diff --git a/clean/buildfile b/clean/buildfile
index 761f063..cdf8792 100644
--- a/clean/buildfile
+++ b/clean/buildfile
@@ -23,7 +23,10 @@ if $cli.configured
--cxx-prologue "#include <clean/types-parsers.hxx>" \
--long-usage
- # 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)
}