Tested patch also against Ubunto 14.04 source package of make. It fixes the memory corruption. Additionally also tested for "real world" build where I initially detected the bug. No problems also there
Tested patch also against Ubunto 14.04 source package of make. It fixes the memory corruption.
Additionally also tested for "real world" build where I initially detected the bug. No problems also there