| commit | 375473f986903252b310cf7f692dcf6e6aa3fa38 | [log] [tgz] |
|---|---|---|
| author | jasteve4 <jasteve4@ncsu.edu> | Fri Mar 18 23:51:04 2022 -0400 |
| committer | jasteve4 <jasteve4@ncsu.edu> | Fri Mar 18 23:51:04 2022 -0400 |
| tree | 0fb4b3f225d8b3ec3bce5e615cfdfc96140d28b8 | |
| parent | bb08d4f6079d210e5b069f38d84df1c226620c83 [diff] | |
| parent | 4d30950fb309efc8b6acca045b429fb1f071247a [diff] |
Merge branch 'release' of github.com:jasteve4/ActuatorController into release
diff --git a/Makefile b/Makefile index 1468413..dcb8763 100644 --- a/Makefile +++ b/Makefile
@@ -115,6 +115,10 @@ .PHONY: harden harden: $(blocks) +.PHONY: verify +verify: + @echo $@ + .PHONY: verify-all-rtl verify-all-rtl: $(dv-targets-rtl)