diff options
author | Jim Meyering <meyering@fb.com> | 2018-07-25 00:08:39 -0700 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2018-07-25 00:08:39 -0700 |
commit | 1688c519e2cfd2f65b75ce6ebd36388a18d7b70c (patch) | |
tree | 9d7aadd6657178617c7508a70787d16995a74dfb /build-aux/bootstrap | |
parent | b4f88b3c1163e6cbc6f63b76ee9f002d701031ed (diff) | |
download | gnulib-1688c519e2cfd2f65b75ce6ebd36388a18d7b70c.tar.gz |
bootstrap: reinstate definition fo gnulib_mk.
That variable is used at least by cppi.
* build-aux/bootstrap (gnulib_mk): Restore definition.
This reverts the deletion from v0.1-1844-gc66dba9ba.
Diffstat (limited to 'build-aux/bootstrap')
-rwxr-xr-x | build-aux/bootstrap | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build-aux/bootstrap b/build-aux/bootstrap index ed3b0a4b70..6f74a02816 100755 --- a/build-aux/bootstrap +++ b/build-aux/bootstrap @@ -1,6 +1,6 @@ #! /bin/sh # Print a version string. -scriptversion=2018-07-01.02; # UTC +scriptversion=2018-07-25.07; # UTC # Bootstrap this package from checked-out sources. @@ -142,6 +142,9 @@ die() { warn_ "$@"; exit 1; } # Configuration. +# Name of the Makefile.am +gnulib_mk=gnulib.mk + # List of gnulib modules needed. gnulib_modules= |