aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/start-sim6
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