getargs: fix the locations of command-line input

[bison.git] / bootstrap.conf

diff --git a/bootstrap.conf b/bootstrap.conf
index e7354675030f6d6ca618204f9a886dff0df78617..165d5e7d84675cbae6edc6dd123b2ba74f8ed596 100644 (file)
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -17,14 +17,17 @@
 
 # gnulib modules used by this package.
 gnulib_modules='
-  announce-gen argmatch assert calloc-posix close closeout config-h c-strcase
+  argmatch assert calloc-posix close closeout config-h c-strcase
   configmake
   dirname
-  error extensions fdl fopen-safer gendocs getopt-gnu
+  error extensions fdl fopen-safer getopt-gnu
   gettext git-version-gen gitlog-to-changelog
   gpl-3.0 hash inttypes isnan javacomp-script
-  javaexec-script ldexpl maintainer-makefile malloc-gnu mbschr mbsrchr
-  mbswidth obstack perror progname
+  javaexec-script ldexpl malloc-gnu mbschr mbsrchr
+  mbswidth
+  obstack
+  obstack-printf
+  perror progname
   quote quotearg
   readme-release
   realloc-posix