1 files changed, 6 insertions, 0 deletions
diff --git a/src/run.bash b/src/run.bash
index cd33b891ed..72a5406215 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -10,6 +10,12 @@ xcd() {
 	echo --- cd $1
 }
 
+(xcd lib/regexp
+make clean
+time make
+make test
+)
+
 (xcd ../usr/gri/gosrc
 make clean
 time make