Use unlocked I/O for a minor performance improvement on hosts like

[bison.git] / bootstrap

diff --git a/bootstrap b/bootstrap
index 96c9bcb30aa09fb227b16fe84c9df22131448f01..4b3164a3a2cefcf7a5ee19c5b10fd9b4ebc82587 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -92,7 +92,6 @@ esac
 <$GNULIB_SRCDIR/gnulib-tool || exit
 
 gnulib_modules='
-alloca
 argmatch
 dirname
 error
@@ -109,7 +108,12 @@ quotearg
 stdbool
 stdio-safer
 stpcpy
+strerror
+strtoul
+strverscmp
 unistd-safer
+unlocked-io
+verify
 xalloc
 xalloc-die
 xstrndup