1 file changed, 10 insertions, 4 deletions
diff --git a/tools/release-build.sh b/tools/release-build.sh
index a22b70e..c5ca6e9 100755
--- a/tools/release-build.sh
+++ b/tools/release-build.sh
@@ -15,10 +15,16 @@ then
 	exit 2
 fi
 case "${1:-}" in
-"")	set -- NO_LUA=1 ;;
-lua)	set -- ;;
-*)	echo "$0: unknown argument \"$1\", expected \"lua\" or nothing" >&2
-	exit 2 ;;
+"")
+	set -- NO_LUA=1
+	;;
+lua)
+	set --
+	;;
+*)
+	echo "$0: unknown argument \"$1\", expected \"lua\" or nothing" >&2
+	exit 2
+	;;
 esac
 
 # Every make target below is written relative to the repository root.