branch | noai |
changeset 11101 | 94e33f3174a6 |
parent 10674 | 542470cee8a2 |
--- a/bin/ai/regression/run.sh Mon Jun 30 13:36:06 2008 +0000 +++ b/bin/ai/regression/run.sh Mon Jun 30 13:49:41 2008 +0000 @@ -11,7 +11,7 @@ params="" gdb="" if [ "$1" != "-r" ]; then - params="-snull -mnull -vnull:ticks=20000" + params="-snull -mnull -vnull:ticks=30000" fi if [ "$1" = "-g" ]; then gdb="gdb --ex run --args "