From bd17fa2c7565f180cedbfa396c0b159e144178cb Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 24 Feb 2022 10:12:50 -0800 Subject: [PATCH] * admin/merge-gnulib: fix bare checkout (Bug#32452#65) --- admin/merge-gnulib | 3 +++ 1 file changed, 3 insertions(+) diff --git a/admin/merge-gnulib b/admin/merge-gnulib index 4045eabf4e..4aabffa0dc 100755 --- a/admin/merge-gnulib +++ b/admin/merge-gnulib @@ -102,6 +102,9 @@ gnulib_srcdir= 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" -- 2.32.0