diff options
-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 f494111..78e627d 100755 --- a/scripts/start-sim +++ b/scripts/start-sim | |||
@@ -40,13 +40,13 @@ fi | |||
40 | 40 | ||
41 | if [ "$1" = "-q" ] | 41 | if [ "$1" = "-q" ] |
42 | then | 42 | then |
43 | quiet="true" | 43 | quiet="-q" |
44 | shift 1 | 44 | shift 1 |
45 | fi | 45 | fi |
46 | 46 | ||
47 | if [ "$1" = "-w" ] | 47 | if [ "$1" = "-w" ] |
48 | then | 48 | then |
49 | waiting="true" | 49 | waiting="-w" |
50 | shift 1 | 50 | shift 1 |
51 | fi | 51 | fi |
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 |