From c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 11 Jul 2021 01:34:00 +0200
Subject: Fix some more of the benchmarks

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

(limited to 'benchmarks/polybench-syn/common.mk')

diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk
index 7e14602..fbada0b 100644
--- a/benchmarks/polybench-syn/common.mk
+++ b/benchmarks/polybench-syn/common.mk
@@ -10,7 +10,7 @@ TARGETS ?=
 	$(VERICERT) $(VERICERT_OPTS) $< -o $@
 
 %.iver: %.v
-	$(IVERILOG) $(IVERILOG_OPTS) $< -o $@
+	$(IVERILOG) -o $@ $(IVERILOG_OPTS) $<
 
 %.gcc: %.c
 	$(CC) $(CFLAGS) $< -o $@
@@ -24,6 +24,8 @@ clean:
 	rm -f *.iver
 	rm -f *.v
 	rm -f *.gcc
+	rm -f *.clog
+	rm -f *.tmp
 	rm -f $(TARGETS)
 
 .PRECIOUS: %.v %.gcc %.iver
-- 
cgit