diff options
-rw-r--r-- | bootstrap.conf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 9ca26dc6..378d4166 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -69,8 +69,10 @@ bootstrap_post_pull_hook() { PAXUTILS=paxutils # gnulib modules used by this package. +# getopt-gnu is for paxutils. gnulib_modules="$avoided_gnulib_modules -`grep -h '^[^#]' gnulib.modules $PAXUTILS/gnulib.modules` +`grep -h '^[^#]' gnulib.modules` +getopt-gnu " # copy_files srcdir dstdir |