$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
 
