From 9fc6c291749296ee919f24581fb2263045163ae7 Mon Sep 17 00:00:00 2001 From: Thomas Klausner Date: Wed, 8 Sep 2004 17:08:31 +0000 Subject: Use ${MAKE} instead of make -- very useful if GNU make is gmake. --- Makefile.cvs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile.cvs b/Makefile.cvs index 8fefe00..dbeb33d 100644 --- a/Makefile.cvs +++ b/Makefile.cvs @@ -12,17 +12,17 @@ all: strictbuild: devel rm -f config.cache ./configure --prefix=/usr --mandir=/usr/share/man --enable-debug --enable-kde --enable-strict - make + ${MAKE} build: devel rm -f config.cache ./configure --prefix=/usr --mandir=/usr/share/man --enable-debug --enable-kde - make + ${MAKE} buildnox: devel rm -f config.cache ./configure --prefix=/usr --mandir=/usr/share/man --enable-debug - make + ${MAKE} devel: $(GETTEXT) $(LIBTOOLFILES) $(AUTOMAKEFILES) autoconf @@ -60,4 +60,4 @@ $(GETTEXT): $(GETTEXTDEP) $(AUTOMAKEFILES): $(ACLOCAL) $(CONFIGHIN) automake --add-missing - make -C kde2 -f Makefile.am am_edit + ${MAKE} -C kde2 -f Makefile.am am_edit -- cgit v1.2.3