[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]