From a19cfffb026e8d0e26aeb366cdc9d76a04f459b6 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 11 Jan 2019 17:32:20 +0100
Subject: Adding Mem as a possible location for accesses

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

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index f5140a0c..3d54f61f 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -89,7 +89,7 @@ ifeq ($(wildcard .depend.extr),.depend.extr)
 CCOMP_OBJS:=$(shell $(MODORDER) driver/Driver.cmx)
 
 ccomp: $(CCOMP_OBJS)
-	@echo "Linking $@ with "$(CCOMP_OBJS)
+	@echo "Linking $@"
 	@$(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $+
 
 ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo)
-- 
cgit