From fcb7b8dff4fb0ae308d900b7e53bfba56850cdfd Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 14 Dec 2017 16:02:18 +0000
Subject: Fix all compiler warning except in lem pretty printer and
 monomorphisation

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index b84e0d22..fe7206f7 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@
 all: sail
 
 sail:
-	$(MAKE) -C src
+	$(MAKE) -C src sail
 	ln -f -s src/sail.native sail
 
 isail:
-- 
cgit v1.2.3