diff options
| author | Gustavo Zacarias <gustavo@zacarias.com.ar> | 2015-07-14 18:30:39 -0300 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2015-07-14 23:53:21 +0200 |
| commit | 2ac7da07991bbe26119a8cf932a4c955f0c78ece (patch) | |
| tree | 3f64a4bc2c29f66c4ce8c051152c468bbe6acc13 | |
| parent | 509a8368c332ce73af24544d970974deb1a13778 (diff) | |
| download | buildroot-2ac7da07991bbe26119a8cf932a4c955f0c78ece.tar.gz buildroot-2ac7da07991bbe26119a8cf932a4c955f0c78ece.zip | |
Makefile: save MAKE_VERSION
Save MAKE_VERSION as RUNNING_MAKE_VERSION since this is later clobbered
by the make package.
It will be used by the webkitgtk24 package to check for older make
versions which have a bug building it with parallel jobs (it hangs).
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
| -rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -43,10 +43,13 @@ all: # Set and export the version string export BR2_VERSION := 2015.08-git +# Save running make version since it's clobbered by the make package +RUNNING_MAKE_VERSION := $(MAKE_VERSION) + # Check for minimal make version (note: this check will break at make 10.x) MIN_MAKE_VERSION = 3.81 -ifneq ($(firstword $(sort $(MAKE_VERSION) $(MIN_MAKE_VERSION))),$(MIN_MAKE_VERSION)) -$(error You have make '$(MAKE_VERSION)' installed. GNU make >= $(MIN_MAKE_VERSION) is required) +ifneq ($(firstword $(sort $(RUNNING_MAKE_VERSION) $(MIN_MAKE_VERSION))),$(MIN_MAKE_VERSION)) +$(error You have make '$(RUNNING_MAKE_VERSION)' installed. GNU make >= $(MIN_MAKE_VERSION) is required) endif export HOSTARCH := $(shell uname -m | \ |
