--- 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