[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: build from CVS
From: |
Stefan Monnier |
Subject: |
Re: build from CVS |
Date: |
Thu, 07 Feb 2002 10:07:56 -0500 |
> Assuming that make expands $$ to it's PID, does it ?
>
> I think make starts a shell to run the command, so $$ will
> be the PID of the shell. So I expect it would not work.
> Have you ever seen it ever work?
Actually, `$$' is turned into `$' by make (since $ is used by make for
variable interpolation, `$$' is provided as a way to protect a $ from
expansion). So `$$$$' would get the shell's process id.
With some shells you might be able to use `$$PPID'.
Stefan
- RE: build from CVS, (continued)
Re: build from CVS, Richard Stallman, 2002/02/07