diff options
Diffstat (limited to 'benchmarks/webbench/files/patch-Makefile')
| -rw-r--r-- | benchmarks/webbench/files/patch-Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/benchmarks/webbench/files/patch-Makefile b/benchmarks/webbench/files/patch-Makefile deleted file mode 100644 index 3ae9a744cf32..000000000000 --- a/benchmarks/webbench/files/patch-Makefile +++ /dev/null @@ -1,23 +0,0 @@ ---- Makefile.orig Mon Jan 12 16:36:48 2004 -+++ Makefile Tue Jan 13 23:08:29 2004 -@@ -1,17 +1,17 @@ --CFLAGS= -Wall -ggdb -W -O --CC=gcc - LIBS= - LDFLAGS= --PREFIX=/usr/local - VERSION=1.3 - TMPDIR=/tmp/webbench-$(VERSION) - all: webbench - - install: webbench - install -s webbench $(DESTDIR)$(PREFIX)/bin -+ install webbench.1 $(DESTDIR)$(PREFIX)/man/man1 -+.if !defined(NOPORTDOCS) - install -d $(DESTDIR)$(PREFIX)/share/doc/webbench - install debian/copyright $(DESTDIR)$(PREFIX)/share/doc/webbench - install debian/changelog $(DESTDIR)$(PREFIX)/share/doc/webbench -+.endif - - webbench: webbench.o Makefile - -ctags *.c |