From 2c3f2a65ad9f1d4b5560ecaf8283dd5088ab8341 Mon Sep 17 00:00:00 2001 From: Dmitry Sivachenko Date: Fri, 23 Mar 2001 21:33:31 +0000 Subject: Replace makee with gmake. Submitted by: Jonathan Belson --- devel/kdevelop/files/patch-processesend.pl | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 devel/kdevelop/files/patch-processesend.pl diff --git a/devel/kdevelop/files/patch-processesend.pl b/devel/kdevelop/files/patch-processesend.pl new file mode 100644 index 000000000000..bb43e2d4c78f --- /dev/null +++ b/devel/kdevelop/files/patch-processesend.pl @@ -0,0 +1,29 @@ +--- kdevelop/tools/processesend.pl.orig Fri Mar 23 13:27:51 2001 ++++ kdevelop/tools/processesend.pl Fri Mar 23 13:29:21 2001 +@@ -34,7 +34,7 @@ + printflush (STDOUT,"creating configuration files...\n"); + printflush (STDOUT,">make -f Makefile.dist\n"); + chdir ($overDirectory); +- system ("make -f Makefile.dist"); ++ system ("gmake -f Makefile.dist"); + + #start configure + printflush (STDOUT,"make configure...\n"); +@@ -109,7 +109,7 @@ + if ($processes{XGETTEXT} && $processes{XGETTEXT} eq "yes") + { + printflush (STDOUT,">make messages\n"); +- system ("make messages >/dev/null"); ++ system ("gmake messages >/dev/null"); + } + else + { +@@ -125,7 +125,7 @@ + { + chdir ($overDirectory); + printflush (STDOUT,">make -f admin/Makefile.common package-messages\n"); +- system ("make -f admin/Makefile.common package-messages >/dev/null"); ++ system ("gmake -f admin/Makefile.common package-messages >/dev/null"); + } + else + { -- cgit v1.2.3