mirror of
https://git.freebsd.org/ports.git
synced 2025-05-28 08:56:28 -04:00
4085ba54b4
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
17 lines
672 B
Tcsh
17 lines
672 B
Tcsh
--- 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"
|