aboutsummaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 6bb6af5..e6edd0d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -13,6 +13,8 @@
13# make install prefix=$HOME 13# make install prefix=$HOME
14 14
15CC=cc 15CC=cc
16GCOV=GCOV
17LLVM_GCOV_FLAG=LLMV_GCOV_FLAG
16 18
17CFLAGS=-O 19CFLAGS=-O
18#CFLAGS=-O -DMAX_WBITS=14 -DMAX_MEM_LEVEL=7 20#CFLAGS=-O -DMAX_WBITS=14 -DMAX_MEM_LEVEL=7
@@ -121,7 +123,7 @@ infcover: infcover.o libz.a
121cover: infcover 123cover: infcover
122 rm -f *.gcda 124 rm -f *.gcda
123 ${QEMU_RUN} ./infcover 125 ${QEMU_RUN} ./infcover
124 gcov inf*.c -o ./infcover.gcda 126 ${GCOV} ${LLVM_GCOV_FLAG} inf*.c -o ./infcover.gcda
125 127
126libz.a: $(OBJS) 128libz.a: $(OBJS)
127 $(AR) $(ARFLAGS) $@ $(OBJS) 129 $(AR) $(ARFLAGS) $@ $(OBJS)