| commit | f38853e8e877c33ffb028253a1488b2b4d4ecabc | [log] [tgz] |
|---|---|---|
| author | Jeff DiCorpo <42048757+jeffdi@users.noreply.github.com> | Mon Mar 21 12:51:38 2022 -0700 |
| committer | GitHub <noreply@github.com> | Mon Mar 21 12:51:38 2022 -0700 |
| tree | 8eecdc9ea1d33402fd157b3ad6f4d1b7a3a25645 | |
| parent | 3c073f7fe547be7e633389d60614c3fdbbc92a47 [diff] | |
| parent | 76e88e13a6f1a30b678f91607034b82c6f495a83 [diff] |
Merge pull request #109 from efabless/jeffdi-patch-1 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)