From d949ed7e4c748c3f78df542e40217248845c9f19 Mon Sep 17 00:00:00 2001 From: germedeb Date: Tue, 16 Aug 2022 22:29:19 -0300 Subject: [PATCH] updated build.sh: changed options a bit --- tasks/build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tasks/build.sh b/tasks/build.sh index 3bcff09..5d4b142 100755 --- a/tasks/build.sh +++ b/tasks/build.sh @@ -24,7 +24,7 @@ fi # Check for --help # This is the help message -case "$@" in *--help*|*-h*|*help*) +case "$@" in *-h*|*help*) printf "${info_color}Aleta's build script help${reset_colors}\\n\ Usage: ./tasks/build.sh [args]... @@ -77,7 +77,7 @@ ERROR: there is no options, exit.\\n" exit 1 fi -case "$@" in *-r*|*from-cero*) +case "$@" in *-r*|*--from-cero*) RESTART=yes esac