getargs: fix the locations of command-line input

[bison.git] / bootstrap.conf

diff --git a/bootstrap.conf b/bootstrap.conf
index 76c1ea53187833f0e2c025e756a7769323d21709..165d5e7d84675cbae6edc6dd123b2ba74f8ed596 100644 (file)
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -17,15 +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
-  do-release-commit-and-tag
-  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