Commit befc48e7 authored by Robert Schmidt's avatar Robert Schmidt Committed by Makarand kulkarni

fixup

parent 7dd7a44e
...@@ -46,7 +46,7 @@ while [[ $# -gt 0 ]]; do ...@@ -46,7 +46,7 @@ while [[ $# -gt 0 ]]; do
new_args+=("$1") new_args+=("$1")
shift shift
done done
if [[ -f "$FILE" ]]; then if [[ -f "$CONFIGFILE" ]]; then
new_args+=("-O") new_args+=("-O")
new_args+=("$CONFIGFILE") new_args+=("$CONFIGFILE")
fi fi
......
Markdown is supported
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