From 6e98b3ebb2ba6adb58fe06226f90d4d0c9430b0d Mon Sep 17 00:00:00 2001
From: hexcoder- <heiko@hexco.de>
Date: Sat, 16 May 2020 12:15:03 +0200
Subject: non GNU Makefiles: message when gmake is not found, gcc_plugin
 portability

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 08dd29d7..96f67991 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 all:
 	@echo trying to use GNU make...
-	@gmake all
+	@gmake all || echo please install GNUmake
 
 source-only:
 	@gmake source-only
-- 
cgit 1.4.1