aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rwxr-xr-xscripts/start-sim2
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