On Thu, Jun 22, 2000 at 08:35:44AM -0700, Tom Tromey wrote:
: 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?
As I mentioned through private mail (explanation for those readers that
don't have access to Tom's mailbox), I'll give it a try. I thought exec
would be the solution, but then I figured out that it would be the shell
child of make that would use exec, so it wouldn't kill off the old make.
It therefore seems like you have to enter the subdir, regenerate Makefile
if needed, leave the subdir, and then come back in for this to be fixed.
If the leave and come back in part could be conditional on actually having
regenerated the makefile it would be fine, but if it would have to happen
always it would be *incredibly* annoying.
Another possible solution is to move the Makefile regeneration rule one
level down so all subdir Makefiles are regenerated from the parent
directory before entering the subdir.
Needless to say, neither suggestion will work for the toplevel Makefile.
Does anyone have any bright ideas?
Lars J
