------- Additional Comments From roessner at rbg dot informatik dot
tu-darmstadt dot de 2005-07-14 19:27 -------
(In reply to comment #6)
> (In reply to comment #5)
[...]
> GNU make: 3.78.1
> So this may be a too-old-make problem?
[...]
> I make a new make as I write this ... I will post results with 3.80 as soon
> as I
> have them. Thanks for reminding me to look at the requirements again.
This problem really disappeared when I used make 3.80. So that's my mistake.
Sorry to have wasted your time.
>
>
--
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22407
