From 33396703505ddbe36b157cf15be7af9ad969cf57 Mon Sep 17 00:00:00 2001 From: silenceshell Date: Wed, 4 Sep 2019 23:30:37 +0800 Subject: [PATCH] check make version --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 6774efbfd..402fee28d 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,6 @@ -ifneq (3.82, $(firstword $(sort $(MAKE_VERSION) 3.82))) -$(error make require version 3.82 or higher) +MIN_MAKE_VERSION = 3.82 +ifneq ($(MIN_MAKE_VERSION), $(firstword $(sort $(MAKE_VERSION) $(MIN_MAKE_VERSION)))) +$(error this project requires make version $(MIN_MAKE_VERSION) or higher) endif SHELL:=/bin/bash