diff options
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -1,6 +1,6 @@ #! /bin/sh -# bootstrap (GNU M4) version 2009-06-15 +# bootstrap (GNU M4) version 2009-11-25 # Copyright (C) 2004, 2005, 2006, 2007, 2008, 2009 Free Software # Foundation, Inc. # License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> @@ -69,7 +69,13 @@ bailout_cb=: # List dependencies here too; we don't extract them, otherwise dependent # modules could end up being imported to src/ *and* gnu/! -src_modules='getopt version-etc-fsf version-etc xstrtol' +src_modules=' +getopt-gnu +getopt-posix +version-etc-fsf +version-etc +xstrtol +' dirname="s,/[^/]*$,," basename="s,^.*/,,g" @@ -380,7 +386,8 @@ $CONFIG_SHELL gnulib/gnulib-tool --update \ func_echo "fetching modules for src directory" -for file in `$CONFIG_SHELL gnulib/gnulib-tool --extract-filelist $src_modules` +for file in `$CONFIG_SHELL gnulib/gnulib-tool --extract-filelist $src_modules \ + | sort -u` do dest=`echo $file | $SED "$basename"` |