[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
Wako, Saitama, Japan

Reply to: