From 08f1a29bb0bbbfa5d369ad7ab5ede4ca4c5011c3 Mon Sep 17 00:00:00 2001 From: augustin64 Date: Wed, 1 Jun 2022 14:45:39 +0200 Subject: [PATCH] Update make.sh --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index 15c3610..3440173 100755 --- a/make.sh +++ b/make.sh @@ -151,7 +151,7 @@ else FLAGS="" fi -if [[ $1 && $(type "$1") = *"is a shell function"* || $(type "$1") == *"est une fonction"* ]]; then +if [[ $1 && $(type "$1") = *"is a"*"function"* || $(type "$1") == *"est une fonction"* ]]; then $1 ${*:2} # Call the function else usage