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

index e0cbbcded08184b136b9b7f894622b0740fe5985..e251735ea18767a544eb95ae6f54f724ed62bbe5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -80,10 +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}")
+       @$(if $(strip ${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}")
+       @$(if $(strip ${TRAVIS}), echo "travis_fold:end:compile ${GWION_PACKAGE}")
 
 options-show:
        @$(call _options)