From 2ce03e1abf360c9be29d1a78810892e0a56532dd Mon Sep 17 00:00:00 2001
From: silenceshell <hubottle@gmail.com>
Date: Tue, 3 Sep 2019 17:50:38 +0800
Subject: [PATCH] check make version

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index acef5f6e7..402fee28d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,8 @@
+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
 UID_GID?=$(shell id -u):$(shell id -g)
 FIRECRACKER_VERSION:=$(shell cat hack/FIRECRACKER_VERSION)