diff options
Diffstat (limited to 'java/eclipse/files/patch-launcher-motif-build.csh')
| -rw-r--r-- | java/eclipse/files/patch-launcher-motif-build.csh | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/java/eclipse/files/patch-launcher-motif-build.csh b/java/eclipse/files/patch-launcher-motif-build.csh deleted file mode 100644 index d041278b42d5..000000000000 --- a/java/eclipse/files/patch-launcher-motif-build.csh +++ /dev/null @@ -1,31 +0,0 @@ ---- plugins/platform-launcher/library/motif/build.csh.orig Sun Jun 20 12:38:06 2004 -+++ plugins/platform-launcher/library/motif/build.csh Sun Jun 20 12:40:27 2004 -@@ -48,6 +48,13 @@ - set defaultWS = "motif" - breaksw - -+ case FreeBSD: -+ set makefile = "make_freebsd.mak" -+ set defaultOS = "freebsd" -+ set defaultOSArch = "x86" -+ set defaultWS = "motif" -+ breaksw -+ - case Linux: - set makefile = "make_linux.mak" - set defaultOS = "linux" -@@ -120,11 +127,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" |