From ba013c46a3d03448c5b0747e032f2d35d1c3fa12 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Thu, 2 Feb 2017 13:14:29 +0000
Subject: K,P debrief

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

(limited to 'arm')

diff --git a/arm/Makefile b/arm/Makefile
index 99c7998f..641a907e 100644
--- a/arm/Makefile
+++ b/arm/Makefile
@@ -1,6 +1,6 @@
 BUILDDIR=./build
 
-SAIL=../sail
+SAIL=../sail -verbose
 ifeq ("$(wildcard $(SAIL))","")
   $(warning can not find Sail)
 endif
-- 
cgit v1.2.3