diff options
Diffstat (limited to 'clean/buildfile')
-rw-r--r-- | clean/buildfile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/clean/buildfile b/clean/buildfile index 638b206..8cda205 100644 --- a/clean/buildfile +++ b/clean/buildfile @@ -26,6 +26,9 @@ if $cli.configured # them when cleaning in src (so that clean results in a state identical to # distributed). # - cli.cxx{*}: dist = true - cli.cxx{*}: clean = ($src_root != $out_root) + cli.cxx{*}: + { + dist = true + clean = ($src_root != $out_root) + } } |