Re: ^c now disallowed? (was Re: "cd dir && $(MAKE)", not "cd dir; $(MAKE)")

Geoff Keating
2003-01-02T17:28:07Z

Andrew Cagney <ac131313@redhat.com> writes:

> In the past, with separate configure / build phases, this was easy -
> cntrl-c the configure and blow away the directory tree. Now, with the
> configure phases intermingled with the build phases, doing this has
> become that much harder.
>
> All that is hopefully needed is a bit of dependency tweaking - touch
> something after the configure phase completes and depend on that.

Ideally, if one wanted to build GDB and not GCC (for instance), it
would be as easy as saying 'make all-gdb'. Since the Makefile now
runs configure, the GCC configury shouldn't be run.

I do think that 'make ; ^c ; make' should work. The ^c might be
something like 'disk full' or 'oops, foo/configure fails with exit 1'
or 'oops, cc1 has the wrong permissions'.

--
- Geoffrey Keating <geoffk@geoffk.org>