Pārlūkot izejas kodu

Makefile: Remove PROOFS_BIN on make clean

Closes: #249
parazyd 2 gadi atpakaļ
vecāks
revīzija
e607236337
1 mainītis faili ar 1 papildinājumiem un 0 dzēšanām
  1. 1 0
      Makefile

+ 1 - 0
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