$OpenBSD: patch-plugins_platform-launcher_library_gtk_build_csh,v 1.1.1.1 2005/02/04 17:18:13 kurt Exp $
--- plugins/platform-launcher/library/gtk/build.csh.orig	Thu Sep 16 11:48:41 2004
+++ plugins/platform-launcher/library/gtk/build.csh	Tue Oct 19 17:14:02 2004
@@ -72,11 +72,11 @@ setenv DEFAULT_WS      "$defaultWS"
 # 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"
