[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: make or $(MAKE) ?



Le Sat, Apr 07, 2007 at 02:01:28PM +0200, Székelyi Szabolcs a écrit :
> 
> To stay on the safe side, you should use $(MAKE); see
> 
> http://www.gnu.org/software/make/manual/make.html#MAKE-Variable

Thanks to everybody who answered. I have corrected my debian/rules
file to use $(Make).

Have a nice day,

-- 
Charles Plessy
http://charles.plessy.org
Wako, Saitama, Japan



Reply to: