aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJoris2016-10-30 17:06:09 +0100
committerJoris2016-10-30 17:06:09 +0100
commit3617a36bcc2305297c09c4b8bdfd2a55e58d02a2 (patch)
treea49bde9f7a76d6f6101d1f71f77db0600370b607 /Makefile
parent5a91ca4ca1c65464201b58ad48c489c8eb0513c2 (diff)
Add build to phony in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e228310..e3cac92 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,7 @@ clean:
install:
@cabal build
+.PHONY: build
build:
@cabal run build