diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-10 10:46:10 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 10:46:10 -0700 |
commit | 9b908f7cbe4325847a149446a369fc76dfdcad53 (patch) | |
tree | 6d32c4a0af016438e668e951665e8468a4664be5 | |
parent | 8967b310b2fa27fc675351583af9e5d800df1f37 (diff) |
Add a default test target
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -36,6 +36,9 @@ clean:: .PHONY: distclean distclean:: clean +.PHONY: test +test: + # Utilities #################################################################### |