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 /docs | |
| 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>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions
