From 80b7f9f01f76eb1d068ea9d024e10f00cb3ed231 Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Sat, 28 Jan 2017 23:28:46 +0100
Subject: Make new-make-version-ready

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3-70-g09d2