Fix Makefile pre-check
diff --git a/Makefile b/Makefile index 716e83a..2758cd8 100644 --- a/Makefile +++ b/Makefile
@@ -92,6 +92,10 @@ .PHONY: harden harden: $(blocks) +.PHONY: verify +verify: + @echo $@ + .PHONY: verify-all-rtl verify-all-rtl: $(dv-targets-rtl)