diff options
Diffstat (limited to 'editors/mined/files/patch-makemined')
| -rw-r--r-- | editors/mined/files/patch-makemined | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/editors/mined/files/patch-makemined b/editors/mined/files/patch-makemined index 0aba18fa8f32..da41bbe6c11c 100644 --- a/editors/mined/files/patch-makemined +++ b/editors/mined/files/patch-makemined @@ -1,11 +1,11 @@ ---- makemined.orig Wed Apr 23 17:16:42 2003 -+++ makemined Sat Dec 25 10:55:07 2004 -@@ -5,7 +5,7 @@ - Linux*) make -f makefile.linux $1;; - Sun*) make -f makefile.sun $1;; +--- makemined.orig Wed Dec 8 11:19:18 2004 ++++ makemined Sat Feb 5 17:59:45 2005 +@@ -34,7 +34,7 @@ + else make -f makefile.gcc $1 + fi;; HP*) make -f makefile.hp $1;; --*BSD*) make -f makefile.bsd $1;; +-*BSD*) gmake -f makefile.bsd $1;; +*BSD*) ${GMAKE} -f makefile.bsd $1;; - CYG*) make -f makefile.cygwin $1;; - Darwin*) make -f makefile.osx $1;; - esac + CYG*) INSTALLTARGET=installcygwin make -f makefile.cygwin $1;; + Darwin*) + if type gcc > /dev/null 2> /dev/null |