For Makefiles, is there a special target that will be executed
whenever make is interrupted, killed or the likes? Or, whenever it
exits?

I often create a temp directory in my Makefile:
TMPDIR := $(shell mktemp -d /tmp.XXXXXXX)
but I don't see a clean and reliable way to *remove* that temp
directory, especially if make fails or is interrupted.

Thanks,
Markus

[ Post a follow-up to this message ]

On 26 Jun, 11:50, Markus Dehmann <markus.dehm...@gmail.com> wrote:

> For Makefiles, is there a special target that will be executed
> whenever make is interrupted, killed or the likes? Or, whenever it
> exits?

There are. Please see http://www.gnu.org/software/make/ma...br />
-Targets

[ Post a follow-up to this message ]

On Jun 28, 6:34 am, Maxim Yegorushkin <maxim.yegorush...@gmail.com>
wrote:
> On 26 Jun, 11:50, Markus Dehmann <markus.dehm...@gmail.com> wrote:
> 
>
> There are. Please seehttp://www.gnu.org/software/make/manual/make.html.gz#Special-
Targets

I don't find any special target there that would be executed when make
is interrupted.

There is a link "Interrupting or Killing make" (http://www.gnu.org/
software/make/manual/make.html.gz#Interrupts), but there it just
explains that an interrupt (e.g. Ctrl-C) will have the effect that the
target that is currently built will be removed. But what I want is
that my TMPDIR gets removed, so it would need some special INTERRUPT
target. I guess I could work around it by writing a wrapper around
make, but I think such a target should be in make in the first place.

--Markus

[ Post a follow-up to this message ]