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, 31 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-launcher-motif-build.csh b/java/eclipse/files/patch-launcher-motif-build.csh new file mode 100644 index 000000000000..d041278b42d5 --- /dev/null +++ b/java/eclipse/files/patch-launcher-motif-build.csh @@ -0,0 +1,31 @@ +--- 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" |