diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-10 16:32:40 -0500 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-10 18:54:21 -0500 |
| commit | 4ba281eca3246a9037e2eb10be2c8caa9b8c9c20 (patch) | |
| tree | 98e5cc27a32e3c8e607d380106e674fdfaacbe32 | |
| parent | bc277c7069cdebb6a6140326636555267b142e0e (diff) | |
| download | tar-4ba281eca3246a9037e2eb10be2c8caa9b8c9c20.tar.gz | |
Fix bootstrap.conf when no paxutils
* bootstrap.conf: Don’t assume the paxutils subdirectory already
exists, when bootstrapping.
| -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 |