aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rwxr-xr-xscripts/start-sim6
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/start-sim b/scripts/start-sim
index f494111..78e627d 100755
--- a/scripts/start-sim
+++ b/scripts/start-sim
@@ -40,13 +40,13 @@ fi
40 40
41if [ "$1" = "-q" ] 41if [ "$1" = "-q" ]
42then 42then
43 quiet="true" 43 quiet="-q"
44 shift 1 44 shift 1
45fi 45fi
46 46
47if [ "$1" = "-w" ] 47if [ "$1" = "-w" ]
48then 48then
49 waiting="true" 49 waiting="-w"
50 shift 1 50 shift 1
51fi 51fi
52 52
@@ -55,7 +55,7 @@ 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 58 ./start-sim $quiet
59 echo "Sleeping for $((${delay} / 2)) seconds." 59 echo "Sleeping for $((${delay} / 2)) seconds."
60 sleep $((${delay} / 2)) 60 sleep $((${delay} / 2))
61 popd > /dev/null 61 popd > /dev/null