diff options
Diffstat (limited to 'clean')
| -rw-r--r-- | clean/buildfile | 7 |
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) } |