]> rtime.felk.cvut.cz Git - jailhouse.git/commitdiff
tooling: Detect too old make version
authorJan Kiszka <jan.kiszka@siemens.com>
Fri, 9 Jan 2015 17:59:42 +0000 (18:59 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Fri, 9 Jan 2015 17:59:42 +0000 (18:59 +0100)
Massaged version of Hans' original patch: Since d0ca500b we depend on
make >= 3.82. That can be a problem for oldish distributions. Better
catch it early.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Makefile

index 05b8265cd8c332d767566180e2e4c12efe8459f5..987e0446a6255461faaf54dc2bde3e6cd15d7b0c 100644 (file)
--- a/Makefile
+++ b/Makefile
 # the COPYING file in the top-level directory.
 #
 
+# Check make version
+need := 3.82
+ifneq ($(need),$(firstword $(sort $(MAKE_VERSION) $(need))))
+$(error Too old make version $(MAKE_VERSION), at least $(need) required)
+endif
+
 # no recipes above this one (also no includes)
 all: modules tools