diff options
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 7 |
1 files changed, 7 insertions, 0 deletions
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 |