1 files changed, 5 insertions, 5 deletions
diff --git a/src/run.bash b/src/run.bash
index 2c5d13dad..90c9a7af1 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -52,11 +52,11 @@ time make
 make smoketest
 ) || exit $?
 
-(xcd ../usr/gri/gosrc
-make clean
-time make
-# make test
-) || exit $?
+# (xcd ../usr/gri/gosrc
+# make clean
+# time make
+# # make test
+# ) || exit $?
 
 (xcd ../doc/progs
 time ./run