diff options
Diffstat (limited to 'load')
-rw-r--r-- | load/buildfile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/load/buildfile b/load/buildfile index 790e1d9..11252b2 100644 --- a/load/buildfile +++ b/load/buildfile @@ -27,6 +27,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) + } } |