1 files changed, 6 insertions, 0 deletions
diff --git a/src/run.bash b/src/run.bash
index bd3067e35..45154e049 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -10,6 +10,12 @@ xcd() {
 	echo --- cd $1
 }
 
+(xcd lib/reflect
+make clean
+time make
+bash test.bash
+)
+
 (xcd lib/regexp
 make clean
 time make