[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: build from CVS
From: |
Richard Stallman |
Subject: |
Re: build from CVS |
Date: |
Fri, 8 Feb 2002 06:55:44 -0700 (MST) |
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.
I stand corrected, but this doesn't affect the point. The shell's
process id is not useful anyway--killing the shell is easy with `exit
1', but that won't tell `make -k' to stop.
Re: build from CVS, Richard Stallman, 2002/02/07