diff options
Diffstat (limited to '')
-rwxr-xr-x | scripts/start-sim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/start-sim b/scripts/start-sim index 8b8fef3..f494111 100755 --- a/scripts/start-sim +++ b/scripts/start-sim | |||
@@ -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 -w | 58 | ./start-sim |
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 |