From e607236337440eeb786aab8f14c1f7ee6e29f9ce Mon Sep 17 00:00:00 2001
From: parazyd <parazyd@dyne.org>
Date: Fri, 15 Mar 2024 09:54:42 +0100
Subject: [PATCH] Makefile: Remove PROOFS_BIN on make clean

Closes: #249
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 1d951c47c..68d23443f 100644
--- a/Makefile
+++ b/Makefile
@@ -168,6 +168,7 @@ clean:
 	$(MAKE) -C bin/tau/taud clean
 	$(MAKE) -C bin/vanityaddr clean
 	RUSTFLAGS="$(RUSTFLAGS)" $(CARGO) clean --target=$(RUST_TARGET) --release
+	rm -f $(PROOFS_BIN)
 
 distclean: clean
 	rm -rf target