diff options
-rw-r--r-- | bbot/buildfile | 7 |
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) } |