diff options
Diffstat (limited to 'testing/spin/makefile.patch')
| -rw-r--r-- | testing/spin/makefile.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/testing/spin/makefile.patch b/testing/spin/makefile.patch deleted file mode 100644 index 1e01f4f8d2..0000000000 --- a/testing/spin/makefile.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- Spin/Src6.4.5/makefile.orig -+++ Spin/Src6.4.5/makefile -@@ -7,8 +7,6 @@ - # see also ./make_pc for a simpler script not requiring make - # for 32-bit compilation, use ./make32 - --CC=gcc --CFLAGS=-O2 -DNXT # on some systems add: -I/usr/include - # on a PC: add -DPC - # on Solaris: add -DSOLARIS - # on a Mac: add -DMAC -@@ -37,7 +35,7 @@ - tl_mem.o tl_rewrt.o tl_cache.o - - spin: $(SPIN_OS) $(TL_OS) spin.o -- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) -+ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) - - install: spin - cp spin /usr/local/bin |