summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2017-01-28 23:28:46 +0100
committertomsmeding <tom.smeding@gmail.com>2017-01-28 23:32:17 +0100
commit80b7f9f01f76eb1d068ea9d024e10f00cb3ed231 (patch)
treed413645ad898a8645c9b0dc8aad8052774b6388a /Makefile
parent97650a26c3d940a98313c37fe122c146ab7c7ff4 (diff)
Make new-make-version-ready
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cb0067e..0c5bd87 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ clean:
rm -f $(TARGET) *.o *.hi
remake: clean
- make all
+ $(MAKE) all
$(TARGET): *.hs