From 7d07db6526c5cf995d7bacd48aa970ae51712863 Mon Sep 17 00:00:00 2001
From: Andrew Wood <ivarch657@gmail.com>
Date: Mon, 28 Aug 2023 10:15:52 +0100
Subject: [PATCH] Extend "make clean" to remove files from "make analyse".

---
 Makefile.am | 3 +++
 1 file changed, 3 insertions(+)

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)