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 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. |