Commit 2b03f5c3 authored by Gregor Michalicek's avatar Gregor Michalicek
Browse files

Added some missing line for the -d command line option in

Note: The directory name for the generated debug version is still wrong.
parent 6eb95d27
......@@ -23,6 +23,7 @@ do
-all_tests) all_tests=1;;
-l) shift;label=$1;;
-m) shift;machine=$1;;
-d) debug=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