diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-06-10 12:53:38 +0100 |
---|---|---|
committer | Baserock Gerrit <gerrit@baserock.org> | 2015-06-10 15:32:19 +0000 |
commit | 93575a2ceeeda77a5bb8c6121a9cac3edde1afbf (patch) | |
tree | 868ced0fd95516be5b0c5f4a71adfa61fa84168c /install-files | |
parent | 4abf670abb87ad29028b6e79d40daac52cf6f13b (diff) | |
download | definitions-93575a2ceeeda77a5bb8c6121a9cac3edde1afbf.tar.gz |
Update GNU Make to patched version to fix segfault
I found that running 'make' inside a linux-user-chroot environment
from the commandline caused it to segfault. Running the same 'make'
outside of linux-user-chroot worked fine. I have cherry-picked the
following patch on top of the make-4.1 tarball, as it fixes the
segfault for me: http://git.savannah.gnu.org/cgit/make.git/commit/?id=292da6f6867b75a5af7ddbb639a1feae022f438f
Change-Id: Ib2fa6b9de507e4ed5807e4e8a45ff05f830db99e
Diffstat (limited to 'install-files')
0 files changed, 0 insertions, 0 deletions