equal
deleted
inserted
replaced
9 cp ai/regression/regression_info.nut ai/regression/info.nut |
9 cp ai/regression/regression_info.nut ai/regression/info.nut |
10 |
10 |
11 params="" |
11 params="" |
12 gdb="" |
12 gdb="" |
13 if [ "$1" != "-r" ]; then |
13 if [ "$1" != "-r" ]; then |
14 params="-snull -mnull -vnull:ticks=20000" |
14 params="-snull -mnull -vnull:ticks=30000" |
15 fi |
15 fi |
16 if [ "$1" = "-g" ]; then |
16 if [ "$1" = "-g" ]; then |
17 gdb="gdb --ex run --args " |
17 gdb="gdb --ex run --args " |
18 fi |
18 fi |
19 if [ -n "$gdb" ]; then |
19 if [ -n "$gdb" ]; then |