diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/runtest.sh | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/tools/ci/scripts/runtest.sh b/tools/ci/scripts/runtest.sh index 0ba3ff5c7..c6cc8adf6 100755 --- a/tools/ci/scripts/runtest.sh +++ b/tools/ci/scripts/runtest.sh @@ -61,12 +61,18 @@ function send_command { function check_exists { if [ ! -f "logs/home/Desktop/ManaPlus/$1" ]; then - echo "Error: image $1 not exists" - exit 1 + sleep 10s + if [ ! -f "logs/home/Desktop/ManaPlus/$1" ]; then + echo "Error: image $1 not exists" + exit 1 + fi fi if [ ! -f "logs/home/Desktop/ManaPlus/$2" ]; then - echo "Error: image $2 not exists" - exit 1 + sleep 10s + if [ ! -f "logs/home/Desktop/ManaPlus/$2" ]; then + echo "Error: image $2 not exists" + exit 1 + fi fi } |