Subject: Re: unique id for makefile target
To: None <netbsd-users@netbsd.org>
From: Christian Biere <christianbiere@gmx.de>
List: netbsd-users
Date: 01/26/2007 20:47:20
George Georgalis wrote:
> I'm developing a makefile target that does some
> administrative tasks. Some targets modify /etc
> files. I'd like to generate a unique id when I make
> the target, so on it's completion, we can check for
> any files that have changed.
>
> If this was shell, I'd use something like
>
> lock=/tmp/${0}-$$ ; [ -e "$lock"] || touch $lock
Not really answering your question but I suggest using
${TMPDIR:-/tmp} instead of /tmp.
--
Christian