cling travis: help find timeout:

Even though timeout existed, the script decided to call gtimeout on Linux - which does not exit.
This commit is contained in:
Axel Naumann 2018-06-12 20:52:52 +02:00 committed by sftnight
parent 52c4e692ce
commit 69f1fa243b

View File

@ -171,8 +171,8 @@ script:
- |
echo "travis_fold:start:cpt-build"
if [ -z $TRAVIS_TAG ]; then
TIMEOUTEXE=timeout;
if ! `which timeout`; then TIMEOUTEXE=gtimeout; fi
TIMEOUTEXE=`which timeout`;
if [ "x" = "x$TIMEOUTEXE" ] ; then TIMEOUTEXE=gtimeout; fi
$TIMEOUTEXE -s SIGTERM $TIMEOUT tools/packaging/cpt.py \
--current-dev=tar \
--with-cling-url=https://github.com/$TRAVIS_REPO_SLUG \