diff --git a/Makefile.am b/Makefile.am index e920174..2ea3852 100644 --- a/Makefile.am +++ b/Makefile.am @@ -100,3 +100,6 @@ analyse: $(pv_SOURCES:.c=.e) FORCE grep -E -e '^Finished checking --' -e 'Hits = ' $+ 2>/dev/null || true FORCE: + +clean-local: + rm -f $(pv_SOURCES:.c=.e)