diff options
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | README-GIT | 5 | ||||
| -rw-r--r-- | odb/pgsql/buildfile | 6 | ||||
| -rw-r--r-- | odb/pgsql/version-build2.hxx | 0 |
4 files changed, 11 insertions, 4 deletions
@@ -29,7 +29,3 @@ # Generated .gitignore files. # .gitignore - -# Temporarily here because of auto-generated odb/pgsql/.gitignore. -# -odb/pgsql/version-build2.hxx diff --git a/README-GIT b/README-GIT new file mode 100644 index 0000000..33dbf5f --- /dev/null +++ b/README-GIT @@ -0,0 +1,5 @@ +The checked out odb/pgsql/version-build2.hxx will be overwritten during the +build process but these changes should be ignored. To do this automatically, +run: + +git update-index --assume-unchanged odb/pgsql/version-build2.hxx diff --git a/odb/pgsql/buildfile b/odb/pgsql/buildfile index 698d706..1f84db6 100644 --- a/odb/pgsql/buildfile +++ b/odb/pgsql/buildfile @@ -10,7 +10,13 @@ lib{odb-pgsql}: {hxx ixx txx cxx}{* -version-build2} {hxx}{version-build2} \ details/build2/{h}{*} \ $imp_libs $int_libs +# 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. diff --git a/odb/pgsql/version-build2.hxx b/odb/pgsql/version-build2.hxx new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/odb/pgsql/version-build2.hxx |