tps: avoid problem if the user don't give an extra serial number

8083e20f · Samuel Iglesias Gonsalvez · 045a3892 · 8083e20f
Commit 8083e20f authored Jul 15, 2011 by Samuel Iglesias Gonsalvez
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

tps.sh tps.sh +3 -0

No files found.
--- a/tps.sh
+++ b/tps.sh
@@ -14,6 +14,9 @@ if [ x$2 = x"" ]; then
        read extra_serial
 fi

+if [ x$extra_serial = x"" ]; then
+	extra_serial=0000
+fi

 time ./tps.py -b SPEC -s $serial -e $extra_serial -t./test/spec/python -l /tmp 00 01 02 03 04 05 06 07 08 09 10