Commit 19e6039f authored by Lucas Mello Schnorr's avatar Lucas Mello Schnorr

this should be always the last thing in configuration checks

parent 2097dded
...@@ -102,13 +102,6 @@ while true; do ...@@ -102,13 +102,6 @@ while true; do
esac esac
done 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
############################## ##############################
# Usage # # Usage #
############################## ##############################
...@@ -159,6 +152,14 @@ if [[ $URL = "" ]]; then ...@@ -159,6 +152,14 @@ if [[ $URL = "" ]]; then
exit exit
usage usage
fi fi
# 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
############################## ##############################
# Download Dataset # # Download Dataset #
############################## ##############################
......
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