diff options
| -rwxr-xr-x | build/make/configure.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/make/configure.sh b/build/make/configure.sh index 2fbcfe5bf..514c442d1 100755 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -274,6 +274,7 @@ TMP_ASM="${TMPDIRx}/vpx-conf-$$-${RAND}.asm" clean_temp_files() { rm -f ${TMP_C} ${TMP_CC} ${TMP_H} ${TMP_O} ${TMP_X} ${TMP_ASM} + enabled gcov && rm -f ${TMP_C%.c}.gcno ${TMP_CC%.cc}.gcno } # |