diff options
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 87533d13..fd6e1a2c 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -18,6 +18,9 @@ # Allow bootstrap to know that this is not a package checkout_only_file=README.git +# Choose a specific version of gnulib, when checking out +GNULIB_REVISION=891934d4b75038abc8e82f52d7a74d357af7e7cc + # Always copy files rather than symlink copy=true |