diff options
author | Norikatsu Shigemura <nork@FreeBSD.org> | 2005-07-31 05:26:16 +0000 |
---|---|---|
committer | Norikatsu Shigemura <nork@FreeBSD.org> | 2005-07-31 05:26:16 +0000 |
commit | 0be0fb477cb7000852c24a6cf6bba1c9bf3abd7e (patch) | |
tree | 834412cc77705b06f4e05945ec6ff3dc38d1bf6e /java/eclipse/files/patch-launcher-gtk-build.csh | |
parent | Fix build on 4-stable. (diff) |
Update to 3.1.
o java/eclipse-devel is IGNOREd now until 3.2+.
o change MAINTAINERship to java@ on java/eclipse-devel. [1]
PR: ports/84252
Submitted by: Panagiotis Astithas <past@ebs.gr>
Requested by: devel/eclipse-devel's maintainer [1]
Tested by: java@
Notes
Notes:
svn path=/head/; revision=140521
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, 0 insertions, 17 deletions
diff --git a/java/eclipse/files/patch-launcher-gtk-build.csh b/java/eclipse/files/patch-launcher-gtk-build.csh deleted file mode 100644 index 54bdb920dd0b..000000000000 --- a/java/eclipse/files/patch-launcher-gtk-build.csh +++ /dev/null @@ -1,17 +0,0 @@ ---- 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" |