commit 5776d05bb18df8e85178433475e932e602a418c3
parent d5ac296a03fa0a2d34713b6125a7a0068b415ff7
Author: kyle <kyle@0x30.net>
Date: Sat, 16 Jan 2016 10:35:55 -0700
server: clean up scripts
Diffstat:
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/server/coverage.sh b/server/coverage.sh
@@ -21,6 +21,7 @@ for t in `ls tests/*/Makefile`; do
if ! make -s -C $test_dir test; then
printf ">>> %3s %s: test failed\n" $count $test_dir
failed=`expr $failed + 1`
+ continue
fi
printf ">>> %3s %s: ok\n" $count $test_dir
@@ -31,6 +32,8 @@ done
kill $server_pid
wait
+sleep 1
+
printf ">>> %i ok %i failed " $passed $failed
printf "(%i min %i sec)\n" $((SECONDS / 60)) $((SECONDS % 60))
diff --git a/server/run_tests.sh b/server/run_tests.sh
@@ -1,6 +1,6 @@
#!/bin/sh
-# try not to connect to a production instance with this script!
+# Try not to connect to the production server with this script!
export PORT=4729
if which tput > /dev/null; then
@@ -32,7 +32,6 @@ count=0
for t in `ls tests/*/Makefile`; do
count=`expr $count + 1`
test_dir=`dirname ${t}`
- make -s -C $test_dir clean
# run test, complain if it failed
if ! make -s -C $test_dir test; then