From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Tue, 8 Oct 2019 10:49:57 +0000 (+0200)
Subject: :wrench: Travis markers
X-Git-Tag: nightly~2198^2~111
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=282b03b25fda79506c7265754dee6ea5a095b918;p=gwion.git

:wrench: Travis markers
---

diff --git a/Makefile b/Makefile
index f4eeb0fc..e0cbbcde 100644
--- a/Makefile
+++ b/Makefile
@@ -80,8 +80,10 @@ GWLIBS = libgwion.a ast/libgwion_ast.a util/libgwion_util.a
 _LDFLAGS = ${GWLIBS} ${LDFLAGS}
 
 all: options-show util/libgwion_util.a ast/libgwion_ast.a libgwion.a src/main.o
+	@$(if ${TRAVIS}, echo "travis_fold:start:compile ${GWION_PACKAGE}")
 	$(info link ${PRG})
 	@${CC} src/main.o -o ${PRG} ${_LDFLAGS} ${LIBS}
+	@$(if ${TRAVIS}, echo "travis_fold:end:compile ${GWION_PACKAGE}")
 
 options-show:
 	@$(call _options)