diff options
Diffstat (limited to '')
-rwxr-xr-x | scripts/start-sim | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/start-sim b/scripts/start-sim index 78e627d..bf6a32e 100755 --- a/scripts/start-sim +++ b/scripts/start-sim | |||
@@ -55,10 +55,10 @@ if [ "x$1" = "x" ]; then | |||
55 | if [ "$tgt" = "scripts" ]; then | 55 | if [ "$tgt" = "scripts" ]; then |
56 | uptime | 56 | uptime |
57 | pushd ${PRGDIR}/../../config/ROBUST >/dev/null | 57 | pushd ${PRGDIR}/../../config/ROBUST >/dev/null |
58 | ./start-sim $quiet | 58 | ./start-sim -q |
59 | popd > /dev/null | ||
59 | echo "Sleeping for $((${delay} / 2)) seconds." | 60 | echo "Sleeping for $((${delay} / 2)) seconds." |
60 | sleep $((${delay} / 2)) | 61 | sleep $((${delay} / 2)) |
61 | popd > /dev/null | ||
62 | for i in $(seq -w 1 99) | 62 | for i in $(seq -w 1 99) |
63 | do | 63 | do |
64 | j=$(num2name ${i}) | 64 | j=$(num2name ${i}) |
@@ -68,12 +68,12 @@ if [ "x$1" = "x" ]; then | |||
68 | echo "Starting ${j}." | 68 | echo "Starting ${j}." |
69 | pushd ${PRGDIR}/../../config/${j} >/dev/null | 69 | pushd ${PRGDIR}/../../config/${j} >/dev/null |
70 | ./start-sim -w | 70 | ./start-sim -w |
71 | popd > /dev/null | ||
71 | uptime | 72 | uptime |
72 | # Sleep for a while, so that there is plenty of time to finish starting scripts and such, | 73 | # Sleep for a while, so that there is plenty of time to finish starting scripts and such, |
73 | # and we are not keeping the computer very busy if there are lots of sims. | 74 | # and we are not keeping the computer very busy if there are lots of sims. |
74 | echo "Sleeping for ${delay} seconds." | 75 | echo "Sleeping for ${delay} seconds." |
75 | sleep ${delay} | 76 | sleep ${delay} |
76 | popd > /dev/null | ||
77 | fi | 77 | fi |
78 | done | 78 | done |
79 | uptime | 79 | uptime |