diff options
Diffstat (limited to 'migrate')
-rw-r--r-- | migrate/buildfile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/migrate/buildfile b/migrate/buildfile index 0e24dc9..a10390b 100644 --- a/migrate/buildfile +++ b/migrate/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) + } } |