$NetBSD$ --- configure.orig 2020-08-31 02:35:12.000000000 +0000 +++ configure @@ -409,6 +409,7 @@ if [ "$m" = "" -o ! -f boot/$m/scheme.bo exit 1 fi +if false ; then if [ -d '.git' ] && command -v git >/dev/null 2>&1 ; then git submodule init && git submodule update || exit 1 else @@ -436,6 +437,7 @@ else (curl -L -o v1.2.2.tar.gz https://github.com/dybvig/stex/archive/v1.2.2.tar.gz && tar -zxf v1.2.2.tar.gz && mv stex-1.2.2 stex && rm v1.2.2.tar.gz) || exit 1 fi fi +fi ./workarea $m $w