]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Travis markers
authorfennecdjay <astor.jeremie@wanadoo.fr>
Tue, 8 Oct 2019 10:49:57 +0000 (12:49 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Tue, 8 Oct 2019 10:49:57 +0000 (12:49 +0200)
Makefile

index f4eeb0fcf515ad8bb8d85f8e3b16573a8cf62754..e0cbbcded08184b136b9b7f894622b0740fe5985 100644 (file)
--- 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)