| commit | 76e88e13a6f1a30b678f91607034b82c6f495a83 | [log] [tgz] |
|---|---|---|
| author | Jeff DiCorpo <42048757+jeffdi@users.noreply.github.com> | Sat Mar 19 14:12:29 2022 -0700 |
| committer | GitHub <noreply@github.com> | Sat Mar 19 14:12:29 2022 -0700 |
| tree | 8eecdc9ea1d33402fd157b3ad6f4d1b7a3a25645 | |
| parent | 3c073f7fe547be7e633389d60614c3fdbbc92a47 [diff] |
add verify target for makefile
diff --git a/Makefile b/Makefile index 5465552..b6de718 100644 --- a/Makefile +++ b/Makefile
@@ -92,6 +92,9 @@ .PHONY: harden harden: $(blocks) +.PHONY: verify +verify: $(dv-targets-rtl) + .PHONY: verify-all-rtl verify-all-rtl: $(dv-targets-rtl)