diff options
Diffstat (limited to 'odb/buildfile')
| -rw-r--r-- | odb/buildfile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/odb/buildfile b/odb/buildfile index fb7a732..fe010e6 100644 --- a/odb/buildfile +++ b/odb/buildfile @@ -11,7 +11,13 @@ lib{odb}: {hxx ixx txx cxx}{* -version-build2} \ details/shared-ptr/{hxx ixx txx cxx}{*} \ details/win32/{hxx}{windows} +# Include the generated version header into the distribution (so that we don't +# 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}: dist = true +hxx{version-build2}: clean = ($src_root != $out_root) # For pre-releases use the complete version to make sure they cannot be used # in place of another pre-release or the final version. |