Commit 89db6618 authored by Robert Schmidt's avatar Robert Schmidt

fixup

parent d7d679aa
...@@ -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