diff options
author | Jakob Unterwurzacher | 2019-01-05 12:25:38 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2019-01-05 12:25:38 +0100 |
commit | 8c35235c34448e7d03a36d6109d5de93c22c0054 (patch) | |
tree | 9d524aa81a24549a3d492cce09aca0f9e3a15f2b /Makefile | |
parent | 61a6b24d4ec554fd005875029bf87b083421e5d3 (diff) |
Add Makefile
We are going to use the Makefile to save useful commands
without creating too many shell scripts in the top dir.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..88e3199 --- /dev/null +++ b/Makefile @@ -0,0 +1,11 @@ +.phony: build +build: + ./build.bash + +.phony: test +test: + ./test.bash + +.phony: format +format: + go fmt ./... |