diff options
| author | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2020-06-25 16:04:29 +0300 |
|---|---|---|
| committer | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2020-06-26 12:55:34 +0300 |
| commit | e707ed43ef9e347f4c177850bfe11b99f6912c0c (patch) | |
| tree | 215664673218263b5689ce9ab4b44ff0bdfc6bde /GNUmakefile | |
| parent | e1da4f09fc7c00beb624f37736525eb48bab0a72 (diff) | |
Build: show helpful error when accidentally using GNUMakefile on Windows
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) |