Ensure ENV is well defined when using make

This command should fail before calling other commands (which will fail to because the environment is wrong):

```
ENV=toto make install
```

diff --git a/GNUmakefile b/GNUmakefile
index 865b35e8bd88f8342b510a2026cc2fe924f4e6f6..db87c5d210ee114d18a26dda018e728765912bf8 100755 (executable)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -2,7 +2,17 @@ SHELL=bash
 TMP_FOLDER=/tmp
 RELEASE_FOLDER=wllbg-release
 
-ENV ?= prod
+# ensure the ENV variable is well defined
+ifeq ($(origin ENV), prod)
+       # all good ("prod" is a valid env)
+else ifeq ($(origin ENV), dev)
+       # all good ("dev" is a valid env)
+else ifeq ($(origin ENV), test)
+       # all good ("test" is a valid env)
+else
+       # not good, force it to "prod"
+       override ENV = prod
+endif
 
 help: ## Display this help menu
        @grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'