diff options
| -rw-r--r-- | controller/bin/dtf-get-machine.in | 7 | ||||
| -rw-r--r-- | controller/bin/dtf-run-remote.in | 6 |
2 files changed, 12 insertions, 1 deletions
diff --git a/controller/bin/dtf-get-machine.in b/controller/bin/dtf-get-machine.in index 0c51f11..2a668b3 100644 --- a/controller/bin/dtf-get-machine.in +++ b/controller/bin/dtf-get-machine.in @@ -76,7 +76,12 @@ while true; do --) shift - break; + break + ;; + *) + echo >&2 "programmer mistake" + exit 1 + ;; esac done diff --git a/controller/bin/dtf-run-remote.in b/controller/bin/dtf-run-remote.in index 229097f..815f4d3 100644 --- a/controller/bin/dtf-run-remote.in +++ b/controller/bin/dtf-run-remote.in @@ -59,6 +59,12 @@ while true; do shift break ;; + + *) + echo >&2 "programmer mistake" + exit 1 + ;; + esac done |