diff options
-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 3e03911..724f81b 100755 --- a/scripts/start-sim +++ b/scripts/start-sim | |||
@@ -56,7 +56,7 @@ then | |||
56 | waiting="-w" | 56 | waiting="-w" |
57 | shift 1 | 57 | shift 1 |
58 | fi | 58 | fi |
59 | 59 | ||
60 | if [ "x$1" = "x" ]; then | 60 | if [ "x$1" = "x" ]; then |
61 | tgt=$(basename $(pwd)) | 61 | tgt=$(basename $(pwd)) |
62 | # These checks are kludgy. | 62 | # These checks are kludgy. |