From 5d49f77c5ad6f7565755c919fdd01ebfeaa0351a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 26 Jul 2017 14:22:41 +0100
Subject: Interpreter doesn't build with new typechecker + changes from master

Makes it so that the jenkins buildserver will only try to build sail
and not the interpreter for sail_new_tc
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 97e42f7e..01eaa57b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: all sail language clean archs isabelle-lib apply_header
 
-all: sail interpreter
+all: sail
 
 sail:
 	$(MAKE) -C src
@@ -9,7 +9,7 @@ sail:
 language:
 	$(MAKE) -C language
 
-interpreter: 
+interpreter:
 	$(MAKE) -C src interpreter
 
 archs:
-- 
cgit v1.2.3