make docs

Paul Gilbert
Wed, 13 Jan 1999 15:01:05 -0500

How quickly I forget. Thanks everyone for reminding me about gnu make. I had to
switch back because

PADI_HOME:sh = if [ $PADI_HOME ] ; then echo $PADI_HOME; else echo $PWD ; fi

works to conditionally set a variable in Sun make but not in gnu. Does anyone
know how to do an equivalent thing in gnu make?


r-devel mailing list -- Read
Send "info", "help", or "[un]subscribe"
(in the "body", not the subject !)  To: