diff --git a/INSTALL.md b/INSTALL.md
index 577e36a18..4fc7f6756 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -47,19 +47,13 @@ system and the Chez Scheme version.
 
 This builds an Idris 2 compiler from scheme code output from a working Idris 2
 compiler (which isn't necessarily up to date, but is up to date enough to
-build the current repository). It then rebuilds using the result.
+build the current repository). It then rebuilds using the result, and runs
+the tests.
 
-Then to install, type:
+If all is well, to install, type:
 
 * `make install`
 
-If you want to check everything is working, type:
-
-* `make test IDRIS2_BOOT=idris2sh`
-
-(You have to install first, because the test script relies on an existing
-Idris 2 installation.)
-
 1b: Installing with an existing Idris 2
 ---------------------------------------
 
diff --git a/bootstrap-rkt.sh b/bootstrap-rkt.sh
index 1f4062471..ed24a0dee 100644
--- a/bootstrap-rkt.sh
+++ b/bootstrap-rkt.sh
@@ -25,3 +25,4 @@ make libs CG=racket PREFIX=${PREFIX} LD_LIBRARY_PATH=${DYLIB_PATH}
 make install CG=racket PREFIX=${PREFIX} LD_LIBRARY_PATH=${DYLIB_PATH}
 make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh LD_LIBRARY_PATH=${DYLIB_PATH}
 make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh CG=racket IDRIS2_PATH=${IDRIS2_BOOT_PATH} LD_LIBRARY_PATH=${DYLIB_PATH}
+make test INTERACTIVE='' IDRIS2_BOOT=${PREFIX}/bin/idris2sh CG=racket IDRIS2_PATH=${IDRIS2_BOOT_PATH}
diff --git a/bootstrap.sh b/bootstrap.sh
index 0ab538426..16f8424b0 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -31,4 +31,4 @@ make libs SCHEME=${SCHEME} PREFIX=${PREFIX}
 make install SCHEME=${SCHEME} PREFIX=${PREFIX}
 make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh
 make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
-make test IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
+make test INTERACTIVE='' IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}