diff options
| author | Norikatsu Shigemura <nork@FreeBSD.org> | 2004-07-25 08:01:09 +0000 |
|---|---|---|
| committer | Norikatsu Shigemura <nork@FreeBSD.org> | 2004-07-25 08:01:09 +0000 |
| commit | 4085ba54b41d14620736520c2c40425a544cb5a4 (patch) | |
| tree | 2ccfe4e95d3be2092b542c6da73c58fb1826e781 /java/eclipse/files/patch-launcher-gtk-build.csh | |
| parent | Fix build on 4.x. (diff) | |
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
Diffstat (limited to 'java/eclipse/files/patch-launcher-gtk-build.csh')
| -rw-r--r-- | java/eclipse/files/patch-launcher-gtk-build.csh | 17 |
1 files changed, 17 insertions, 0 deletions
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" |