diff options
| author | Dmitry Sivachenko <demon@FreeBSD.org> | 2001-03-23 21:33:31 +0000 |
|---|---|---|
| committer | Dmitry Sivachenko <demon@FreeBSD.org> | 2001-03-23 21:33:31 +0000 |
| commit | 2c3f2a65ad9f1d4b5560ecaf8283dd5088ab8341 (patch) | |
| tree | 856b95ff2fd9c32e91adf3bd716940fde2655da9 /devel/kdevelop | |
| parent | d1648e1f392fede0a83db7504ddf9cdcdc1ebbca (diff) | |
| download | ports-2c3f2a65ad9f1d4b5560ecaf8283dd5088ab8341.tar.gz ports-2c3f2a65ad9f1d4b5560ecaf8283dd5088ab8341.zip | |
Notes
Diffstat (limited to 'devel/kdevelop')
| -rw-r--r-- | devel/kdevelop/files/patch-processesend.pl | 29 |
1 files changed, 29 insertions, 0 deletions
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 + { |