diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index db86fb27..d1f0b8ea 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -122,13 +122,9 @@ infcover: infcover.o libz.a | |||
| 122 | $(CC) $(CFLAGS) -coverage -o $@ infcover.o libz.a | 122 | $(CC) $(CFLAGS) -coverage -o $@ infcover.o libz.a |
| 123 | 123 | ||
| 124 | cover: infcover | 124 | cover: infcover |
| 125 | ifdef $(GCOV) | ||
| 126 | rm -f *.gcda | 125 | rm -f *.gcda |
| 127 | ${QEMU_RUN} ./infcover | 126 | ${QEMU_RUN} ./infcover |
| 128 | ${GCOV} ${LLVM_GCOV_FLAG} inf*.c -o ./infcover.gcda | 127 | ${GCOV} ${LLVM_GCOV_FLAG} inf*.c -o ./infcover.gcda |
| 129 | else | ||
| 130 | @echo 'cover disabled as no suitable gcov was found' | ||
| 131 | endif | ||
| 132 | 128 | ||
| 133 | libz.a: $(OBJS) | 129 | libz.a: $(OBJS) |
| 134 | $(AR) $(ARFLAGS) $@ $(OBJS) | 130 | $(AR) $(ARFLAGS) $@ $(OBJS) |
