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)