On 01/04/2015 19:58, Ed Maste wrote: > On BSDs "make" is typically BSD make, while "gmake" is GNU make. > > Signed-off-by: Ed Maste <ema...@freebsd.org> > --- > Makefile | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/Makefile b/Makefile > index 88bce56..ee40397 100644 > --- a/Makefile > +++ b/Makefile > @@ -331,8 +331,8 @@ distclean: clean > rm -rf $$d || exit 1 ; \ > done > rm -Rf .sdk > - if test -f pixman/config.log; then make -C pixman distclean; fi > - if test -f dtc/version_gen.h; then make $(DTC_MAKE_ARGS) clean; fi > + if test -f pixman/config.log; then $(MAKE) -C pixman distclean; fi > + if test -f dtc/version_gen.h; then $(MAKE) $(DTC_MAKE_ARGS) clean; fi > > KEYMAPS=da en-gb et fr fr-ch is lt modifiers no pt-br sv \ > ar de en-us fi fr-be hr it lv nl pl ru th \ >
Applied, thanks. Paolo
