[patch] Patch to fix version check

makeversion.patch (text/plain), 493 bytes, created by Marc Riemer on 2014-11-27 21:45:11 UTC

--- plugins-src/common.mk.orgi	2014-11-27 22:31:05.847323047 +0100
+++ plugins-src/common.mk	2014-11-27 22:31:22.611720614 +0100
@@ -5,7 +5,7 @@
 
 # Make version check
 REQUIRED_MAKE_VERSION:=3.81
-ifneq ($(shell ( echo "$(MAKE_VERSION)" ; echo "$(REQUIRED_MAKE_VERSION)" ) | sort -t. -n | head -1),$(REQUIRED_MAKE_VERSION))
+ifneq "$(REQUIRED_MAKE_VERSION)" "$(firstword $(sort $(REQUIRED_MAKE_VERSION) $(MAKE_VERSION)))"
 $(error GNU make version $(REQUIRED_MAKE_VERSION) required)
 endif