diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-13 23:00:52 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-13 23:00:52 +0000 |
commit | b25501acffb8fa761832dfe9ad1a3138b165ff90 (patch) | |
tree | f4635275a435756125373ac435250fe8097ac551 /benchmarks/polybench-syn | |
parent | 003c2ebeed882c83ac06a0cd1f7449677ca31d14 (diff) | |
download | vericert-b25501acffb8fa761832dfe9ad1a3138b165ff90.tar.gz vericert-b25501acffb8fa761832dfe9ad1a3138b165ff90.zip |
Remove verilator from Makefile
Diffstat (limited to 'benchmarks/polybench-syn')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 4d450e8..0913bf5 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -34,6 +34,7 @@ clean: rm -f *.clog rm -f *.tmp rm -f $(TARGETS) + rm -rf *.verilator .PRECIOUS: %.v %.gcc %.iver .PHONY: all clean |