@Yuv: The original bug is not fixed. This is probably a bug inside gnu make 3.82 (make 3.81 works). Then Nick hijacked this bug report with a unrelated bug, only this unrelated bug is fixed. Therefore setting the status to open again.
@Yuv: The original bug is not fixed. This is probably a bug inside gnu make 3.82 (make 3.81 works).
Then Nick hijacked this bug report with a unrelated bug, only this unrelated bug is fixed. Therefore setting the status to open again.