diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index e05fc8184f23..11316792f959 100644 --- a/configure.ac +++ b/configure.ac @@ -11970,15 +11970,17 @@ else fi AC_SUBST(STARTCENTER_SPACE_BITMAP) -EXTRA_BUILDID= AC_MSG_CHECKING([for extra build ID]) if test -n "$with_extra_buildid" -a "$with_extra_buildid" != "yes" ; then EXTRA_BUILDID="$with_extra_buildid" +fi +# in tinderboxes, it is easier to set EXTRA_BUILDID via the environment variable instead of configure switch +if test -n "$EXTRA_BUILDID" ; then AC_MSG_RESULT([$EXTRA_BUILDID]) else AC_MSG_RESULT([not set]) fi -AC_SUBST(EXTRA_BUILDID) +AC_DEFINE_UNQUOTED([EXTRA_BUILDID], ["$EXTRA_BUILDID"]) OOO_VENDOR= AC_MSG_CHECKING([for vendor]) @@ -12390,6 +12392,7 @@ else fi AC_CONFIG_FILES([config_host.mk]) +AC_CONFIG_HEADERS([config/config_buildid.h]) AC_CONFIG_HEADERS([config/config_version.h]) AC_OUTPUT |