Re: Makefile update problem [IRIX make]

[Tom Tromey]

Lars> Is this a known problem?  Any workarounds?  Could e.g. make exec
Lars> make after generating the Makefile?

Believe it or not, I've never seen this reported before.
I think most people who use the Makefile-rebuilding feature use GNU
make, which gets this right.

If it can be fixed portably and easily, I'm for that.
Could you write a patch?

Tom