summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-08-24 16:04:22 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-08-24 16:04:22 +0300
commit9f1eb19bff0d95a17c08d9f689a67600feba2912 (patch)
treeb7259e2829cc7d432b533e78f8e87dd6de0f6678
parentd6d6cfe25f0c27d9acd63da3ae2893eaf3e3cb3b (diff)
Don't clean generated cli files from src
-rw-r--r--cli/buildfile7
1 files changed, 5 insertions, 2 deletions
diff --git a/cli/buildfile b/cli/buildfile
index 48c69f7..b6bf89a 100644
--- a/cli/buildfile
+++ b/cli/buildfile
@@ -22,7 +22,10 @@ if $cli.configured
--guard-prefix CLI --generate-file-scanner --generate-specifier \
--reserved-name stdout
- # 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)
}