diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
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 | ||
15 | CC=cc | 15 | CC=cc |
16 | GCOV=GCOV | ||
17 | LLVM_GCOV_FLAG=LLMV_GCOV_FLAG | ||
16 | 18 | ||
17 | CFLAGS=-O | 19 | CFLAGS=-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 | |||
121 | cover: infcover | 123 | cover: 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 | ||
126 | libz.a: $(OBJS) | 128 | libz.a: $(OBJS) |
127 | $(AR) $(ARFLAGS) $@ $(OBJS) | 129 | $(AR) $(ARFLAGS) $@ $(OBJS) |