bin/ai/regression/run.sh
branchnoai
changeset 9823 0b7f816cf46f
parent 9704 197cb8c6ae17
child 9851 a5f5a7cf2b61
--- a/bin/ai/regression/run.sh	Wed Mar 26 15:16:40 2008 +0000
+++ b/bin/ai/regression/run.sh	Wed Mar 26 15:17:40 2008 +0000
@@ -10,7 +10,7 @@
 params=""
 gdb=""
 if [ "$1" != "-r" ]; then
-	params="-snull -mnull -vnull:ticks=10000"
+	params="-snull -mnull -vnull:ticks=20000"
 fi
 if [ "$1" = "-g" ]; then
 	gdb="gdb --ex run --args "