Commit 7669c8bc authored by Daniel Wortmann's avatar Daniel Wortmann
Browse files

Bugfix in

parent 95edc9e0
......@@ -21,8 +21,8 @@ do
-gitupdate) gitupdate=1;;
-t) all_tests=1;;
-all_tests) all_tests=1;;
-l) label=$1;shift;;
-m) machine=$1;shift;;
-l) shift;label=$1;;
-m) shift;machine=$1;;
-*) error="Unkown argument";;
*) break;; # terminate while loop
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment