branch | noai |
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 "