diff --git a/bin/BuildPackages.sh b/bin/BuildPackages.sh index a0a0078924..e1d87a7031 100755 --- a/bin/BuildPackages.sh +++ b/bin/BuildPackages.sh @@ -191,7 +191,7 @@ run_configure_and_make() { then if grep Autoconf ./configure > /dev/null then - local PKG_NAME=$($GAP -q -T -A <