diff --git a/src/tests/run_all b/src/tests/run_all new file mode 100755 index 000000000..f92ea5412 --- /dev/null +++ b/src/tests/run_all @@ -0,0 +1,11 @@ +!# /bin/bash + +date > all.log + +for i in *.t +do + ./$i >> all.log 2>&1 +done + +date >> all.log +