1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #10554 from jcarrano/make-minimum-version

Makefile.include: require make version 4.
This commit is contained in:
Sebastian Meiling 2019-09-23 23:13:50 +02:00 committed by GitHub
commit 7bbdb74981
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +1,12 @@
MATCH_MAKE_VERSION = 4.%
ifeq (,$(filter $(MATCH_MAKE_VERSION),$(MAKE_VERSION)))
$(warning GNU Make $(MAKE_VERSION) is DEPRECATED in RIOT. Support for \
versions less than $(MATCH_MAKE_VERSION) will be removed in \
release 2020.01. Please upgrade your system to use GNU Make \
$(MATCH_MAKE_VERSION) or later.)
endif
# 'Makefile.include' directory, must be evaluated before other 'include'
_riotbase := $(dir $(lastword $(MAKEFILE_LIST)))