diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 93e2164dee8..9a5164cd722 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -142,6 +142,10 @@ Information endef # HELP_TEXT (end) +# This makefile is not meant for Windows +ifeq ($(OS),Windows_NT) + $(error On Windows, use "cmd //c make.bat" instead of "make") +endif # System Vars OS:=$(shell uname -s) |