aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdownload5
1 files changed, 5 insertions, 0 deletions
diff --git a/download b/download
index 688d5c99..ee8238f2 100755
--- a/download
+++ b/download
@@ -26,6 +26,11 @@ set -u -e
download=./resources/scripts/helpers/download
programmes=$(ls ${download}/)
+if [ $# -lt 1 ]; then
+ printf "ERROR: download script: no argmunt given.\n"
+ exit 1
+fi
+
case ${@} in
all)
;;