From 4085ba54b41d14620736520c2c40425a544cb5a4 Mon Sep 17 00:00:00 2001
From: Norikatsu Shigemura <nork@FreeBSD.org>
Date: Sun, 25 Jul 2004 08:01:09 +0000
Subject: Update to 3.0.

Submitted by:	Panagiotis Astithas <past@netmode.ntua.gr>
		Jeremy Faulkner <gldisater@gldis.ca>
		Torben Jager <Torben.Jaeger@t-online.de>
		Georg-W. Koltermann <gwk@rahn-koltermann.de>
Reviewed by:	java
---
 java/eclipse/files/patch-launcher-gtk-build.csh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 java/eclipse/files/patch-launcher-gtk-build.csh

(limited to 'java/eclipse/files/patch-launcher-gtk-build.csh')

diff --git a/java/eclipse/files/patch-launcher-gtk-build.csh b/java/eclipse/files/patch-launcher-gtk-build.csh
new file mode 100644
index 000000000000..54bdb920dd0b
--- /dev/null
+++ b/java/eclipse/files/patch-launcher-gtk-build.csh
@@ -0,0 +1,17 @@
+--- plugins/platform-launcher/library/gtk/build.csh.orig	Sun Jun 13 22:33:13 2004
++++ plugins/platform-launcher/library/gtk/build.csh	Sun Jun 13 22:33:39 2004
+@@ -72,11 +72,11 @@
+ # If the OS is supported (a makefile exists)
+ if ("$makefile" != "") then
+     if ("$extraArgs" != "") then
+-        make -f $makefile $extraArgs
++        gmake -f $makefile $extraArgs
+     else
+         echo "Building $OS launcher. Defaults: -os $DEFAULT_OS -arch $DEFAULT_OS_ARCH -ws $DEFAULT_WS"
+-        make -f $makefile clean
+-        make -f $makefile all
++        gmake -f $makefile clean
++        gmake -f $makefile all
+     endif
+ else
+     echo "Unknown OS ($OS) -- build aborted"
-- 
cgit v1.2.3