build: check make version before running Makefile (#4054)

mmetc · web-flow · commit 316d401a1d38 · 2025-11-17T12:41:19.000+01:00
diff --git a/Makefile b/Makefile
@@ -1,3 +1,8 @@
+
+ifneq ($(firstword $(sort $(MAKE_VERSION) 4.1)),4.1)
+    $(error Your make is too old ($(MAKE_VERSION)). Please install GNU make >= 4.1)
+endif
+
 include mk/platform.mk
 include mk/gmsl
 
