Makefile: save MAKE_VERSION
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Tue, 14 Jul 2015 21:30:39 +0000 (18:30 -0300)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Tue, 14 Jul 2015 21:53:21 +0000 (23:53 +0200)
commit2ac7da07991bbe26119a8cf932a4c955f0c78ece
tree3f64a4bc2c29f66c4ce8c051152c468bbe6acc13
parent509a8368c332ce73af24544d970974deb1a13778
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>
Makefile