diff options
Diffstat (limited to 'shells/bush/files/patch-src::GNUmakefile')
-rw-r--r-- | shells/bush/files/patch-src::GNUmakefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/shells/bush/files/patch-src::GNUmakefile b/shells/bush/files/patch-src::GNUmakefile deleted file mode 100644 index 475f014e7283..000000000000 --- a/shells/bush/files/patch-src::GNUmakefile +++ /dev/null @@ -1,15 +0,0 @@ ---- src/GNUmakefile.orig Sat Jan 8 04:08:31 2005 -+++ src/GNUmakefile Fri Jan 21 22:52:36 2005 -@@ -5,9 +5,9 @@ - # These are filled in by ./configure. If they are incorrect, change them for - # your system... - --CC=gcc --CPU=i686 --MAKE=gmake -+#CC=gcc -+MAKE=${GMAKE} -+CPU=${CPUTYPE} - GNATMAKE=gnatmake - - # RPM Directories For Building an RPM file |