diff options
Diffstat (limited to 'libbrep/buildfile')
| -rw-r--r-- | libbrep/buildfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libbrep/buildfile b/libbrep/buildfile index 2a87403..7f6129b 100644 --- a/libbrep/buildfile +++ b/libbrep/buildfile @@ -29,7 +29,7 @@ lib{brep}: \ # pick up an installed one) and don't remove it when cleaning in src (so that # clean results in a state identical to distributed). # -hxx{version}: in{version} $src_root/file{manifest} +hxx{version}: in{version} $src_root/manifest hxx{version}: dist = true hxx{version}: clean = ($src_root != $out_root) |