Commit 3e2c5d49 authored by Lucas Mello Schnorr's avatar Lucas Mello Schnorr

exit when something weird happens

parent 9d6c3f15
......@@ -91,6 +91,8 @@ done
# handle non-option arguments
if [[ $# -ne 0 ]]; then
echo "$0: non-option arguments ($#, $*) are ignored."
echo "Remove them manually as indicated between parenthesis."
exit
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