diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-24 13:48:24 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-24 16:15:51 +0300 |
commit | ef4617c665c5e281377b4fa10e462d5fb6716a4f (patch) | |
tree | d7f21c6ec8bdc54b41f8b239dcab18768142572e /load/buildfile | |
parent | 8238ad84bf2e3894bf994ad6275605c2c099daf3 (diff) |
Don't clean generated cli files from src
Diffstat (limited to 'load/buildfile')
-rw-r--r-- | load/buildfile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/load/buildfile b/load/buildfile index 6852871..8be32c4 100644 --- a/load/buildfile +++ b/load/buildfile @@ -23,7 +23,10 @@ if $cli.configured --cxx-prologue "#include <load/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) } |