summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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