diff options
Diffstat (limited to 'odb')
-rw-r--r-- | odb/buildfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odb/buildfile b/odb/buildfile index 882fcd5..b3090e1 100644 --- a/odb/buildfile +++ b/odb/buildfile @@ -15,7 +15,7 @@ details/shared-ptr/{hxx ixx txx cxx}{*} \ # 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-build2}: in{version-build2} $src_root/file{manifest} +hxx{version-build2}: in{version-build2} $src_root/manifest hxx{version-build2}: dist = true hxx{version-build2}: clean = ($src_root != $out_root) |