diff --git a/src/run.bash b/src/run.bash
index 72a5406215..bd3067e35c 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -19,7 +19,7 @@ make test
 (xcd ../usr/gri/gosrc
 make clean
 time make
-make test
+# make test
 )
 
 (xcd ../usr/gri/pretty