diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-24 16:04:22 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-24 16:04:22 +0300 |
commit | 9f1eb19bff0d95a17c08d9f689a67600feba2912 (patch) | |
tree | b7259e2829cc7d432b533e78f8e87dd6de0f6678 | |
parent | d6d6cfe25f0c27d9acd63da3ae2893eaf3e3cb3b (diff) |
Don't clean generated cli files from src
-rw-r--r-- | cli/buildfile | 7 |
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) } |