diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2022-02-24 10:12:50 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-02-24 10:13:08 -0800 |
commit | bd17fa2c7565f180cedbfa396c0b159e144178cb (patch) | |
tree | 724e44ca9ee1f53610ceddb92cd1aa7d3fb98efa /admin | |
parent | 6092ee1c3ff503fbe8087e13b7eae2f904c4af3b (diff) | |
download | emacs-bd17fa2c7565f180cedbfa396c0b159e144178cb.tar.gz |
Diffstat (limited to 'admin')
-rwxr-xr-x | admin/merge-gnulib | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/admin/merge-gnulib b/admin/merge-gnulib index 4045eabf4e4..4aabffa0dcd 100755 --- a/admin/merge-gnulib +++ b/admin/merge-gnulib @@ -102,6 +102,9 @@ test -x "$gnulib_srcdir"/gnulib-tool || { exit 1 } +# gnulib-tool has problems with a bare checkout (Bug#32452#65). +test -f configure || ./autogen.sh + avoided_flags= for module in $AVOIDED_MODULES; do avoided_flags="$avoided_flags --avoid=$module" |