| commit | 4d30950fb309efc8b6acca045b429fb1f071247a | [log] [tgz] |
|---|---|---|
| author | jasteve4 <jasteve4@ncsu.edu> | Thu Mar 17 20:07:54 2022 -0400 |
| committer | GitHub <noreply@github.com> | Thu Mar 17 20:07:54 2022 -0400 |
| tree | 789e38f84e469822eb524c7b790492b4822d590a | |
| parent | 84d3ee86f51c368a4cdbd73d48b53d38b5cbf30b [diff] |
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)