aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xGNUmakefile9
1 files changed, 8 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile
index 865b35e8..837f7103 100755
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -2,7 +2,14 @@ SHELL=bash
2TMP_FOLDER=/tmp 2TMP_FOLDER=/tmp
3RELEASE_FOLDER=wllbg-release 3RELEASE_FOLDER=wllbg-release
4 4
5ENV ?= prod 5# ensure the ENV variable is well defined
6AVAILABLE_ENV := prod dev test
7ifneq ($(filter $(ENV),$(AVAILABLE_ENV)),)
8 # all good
9else
10 # not good, force it to "prod"
11 override ENV = prod
12endif
6 13
7help: ## Display this help menu 14help: ## Display this help menu
8 @grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}' 15 @grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'