mirror of
https://github.com/vortexgpgpu/vortex.git
synced 2025-04-23 13:27:29 -04:00
travis timeout workaround
This commit is contained in:
parent
f9e1e11dc5
commit
23cf72d7f4
1 changed files with 6 additions and 4 deletions
|
@ -127,7 +127,8 @@ if [ $DEBUG -eq 1 ]
|
|||
then
|
||||
if [ $TRAVIS -eq 1 ]
|
||||
then
|
||||
while sleep 9m; do echo "===[ $SECONDS sec still running ]==="; done &
|
||||
while sleep 5m; do echo "*** still running..."; done &
|
||||
sleep_pid=$!
|
||||
fi
|
||||
|
||||
if [ $SCOPE -eq 1 ]
|
||||
|
@ -146,12 +147,13 @@ then
|
|||
|
||||
if [ $TRAVIS -eq 1 ]
|
||||
then
|
||||
kill %1
|
||||
kill $sleep_pid
|
||||
fi
|
||||
else
|
||||
if [ $TRAVIS -eq 1 ]
|
||||
then
|
||||
while sleep 9m; do echo "===[ $SECONDS sec still running ]==="; done &
|
||||
while sleep 5m; do echo "*** still running..."; done &
|
||||
sleep_pid=$!
|
||||
fi
|
||||
|
||||
if [ $SCOPE -eq 1 ]
|
||||
|
@ -163,7 +165,7 @@ else
|
|||
|
||||
if [ $TRAVIS -eq 1 ]
|
||||
then
|
||||
kill %1
|
||||
kill $sleep_pid
|
||||
fi
|
||||
|
||||
if [ $HAS_ARGS -eq 1 ]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue