aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-08-24 14:30:26 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-08-24 16:20:47 +0300
commit9660583066eed327dacc0838f9c7741f2c8bf50c (patch)
treeca9f69025cf645fcd883cacf3035f4dc1bd24d23
parent2e2f3dccf0023e6397eb7d4cc5180a57cb0674b0 (diff)
Don't clean generated cli files from src
-rw-r--r--bbot/buildfile7
1 files changed, 5 insertions, 2 deletions
diff --git a/bbot/buildfile b/bbot/buildfile
index 70085cf..e6df687 100644
--- a/bbot/buildfile
+++ b/bbot/buildfile
@@ -66,7 +66,10 @@ if $cli.configured
worker/cli.cxx{worker-options}: cli.options += --include-prefix bbot/worker \
--guard-prefix BBOT_WORKER
- # 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)
}