diff options
-rwxr-xr-x | start-container-docker.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/start-container-docker.sh b/start-container-docker.sh index f13b7290..4b5cbecd 100755 --- a/start-container-docker.sh +++ b/start-container-docker.sh @@ -126,7 +126,10 @@ do ;; --task) task=$2 - [ x${task} = x ] && usage + case "${task}" in + build|bench|test) ;; + *) usage ;; + esac shift 2 ;; --user) |