On May 1, 2011 04:11:11 AM tmodes wrote:
> @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.
thanks for explaining, Thomas. I am trying to catch up with the bug reports
after four weeks of no time to follow them and misunderstood your last note
after skimming over much of the previous thread.
On May 1, 2011 04:11:11 AM tmodes wrote:
> @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.
thanks for explaining, Thomas. I am trying to catch up with the bug reports
after four weeks of no time to follow them and misunderstood your last note
after skimming over much of the previous thread.