diff options
Diffstat (limited to 'libprint')
| -rw-r--r-- | libprint/buildfile | 2 | ||||
| -rw-r--r-- | libprint/libprint/buildfile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libprint/buildfile b/libprint/buildfile index d8caddc..3ac0526 100644 --- a/libprint/buildfile +++ b/libprint/buildfile @@ -1,4 +1,4 @@ -./: {*/ -build/} file{manifest} +./: {*/ -build/} manifest # Don't install tests. # diff --git a/libprint/libprint/buildfile b/libprint/libprint/buildfile index ce28971..e2c6f8a 100644 --- a/libprint/libprint/buildfile +++ b/libprint/libprint/buildfile @@ -8,7 +8,7 @@ lib{print}: {hxx ixx txx cxx}{* -version} hxx{version} $imp_libs $int_libs # 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) |