From b32e7574864cde80f8f5283431c21a6803a89108 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 10 Aug 2023 11:17:19 +0100
Subject: Fix backend hardware generation and scheduling

---
 benchmarks/polybench-syn/common.mk | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'benchmarks')

diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk
index 877dd68..a0b01d4 100644
--- a/benchmarks/polybench-syn/common.mk
+++ b/benchmarks/polybench-syn/common.mk
@@ -32,10 +32,17 @@ all: $(TARGETS)
 clean:
 	rm -f *.iver
 	rm -f *.v
+	rm -f *.sv
 	rm -f *.gcc
 	rm -f *.clog
 	rm -f *.tmp
 	rm -f $(TARGETS)
+	rm -f *.{0,1,2,3,4,5,6,7,8,9}
+	rm -f *.smt2
+	rm -f *.log
+	rm -f *.dot
+	rm -f *.vtlog
+	rm -f *.txt
 	rm -rf *.verilator
 
 .PRECIOUS: %.v %.gcc %.iver
-- 
cgit