From fb34cb5d55455c9ccb77e13852054763adabed70 Mon Sep 17 00:00:00 2001 From: vnctdj Date: Sat, 13 Jan 2018 21:44:58 +0100 Subject: [PATCH] Don't prevent use of make's long options + an indentation fix --- b.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/b.sh b/b.sh index a001421eac..c0cc2115ab 100755 --- a/b.sh +++ b/b.sh @@ -39,13 +39,10 @@ do --no-package) echo "Packaging disabled" PACKAGE=0 ;; - --clang) echo "Clang enabled" + --clang) echo "Clang enabled" export CC=/usr/bin/clang export CXX=/usr/bin/clang++ ;; - --*) echo "Bad option: $1" - exit 1 - ;; *) MAKE_OPT="$1 ${MAKE_OPT}" ;; esac