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 /Makefile | |
| parent | 8967b310b2fa27fc675351583af9e5d800df1f37 (diff) | |
Add a default test target
Diffstat (limited to 'Makefile')
| -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 #################################################################### |