From fc135ff24a25467dd5e7bb40a8f3540e5cdda112 Mon Sep 17 00:00:00 2001 From: Maxim Kuvyrkov Date: Sat, 2 Apr 2016 16:39:26 +0100 Subject: scripts/clean-schroot-sessions.sh: Remove. The jenkins job that used this script has been obsoleted and removed. See https://review.linaro.org/#/c/11178/ . Change-Id: I931abe9c5d9ade846ad06b3ba85b45783ab93931 --- scripts/clean-schroot-sessions.sh | 82 --------------------------------------- 1 file changed, 82 deletions(-) delete mode 100755 scripts/clean-schroot-sessions.sh diff --git a/scripts/clean-schroot-sessions.sh b/scripts/clean-schroot-sessions.sh deleted file mode 100755 index 369a2f72..00000000 --- a/scripts/clean-schroot-sessions.sh +++ /dev/null @@ -1,82 +0,0 @@ -#!/bin/bash - -set -e - -usage () -{ - cat < /tmp/clean-schroot-sessions.$$.$M 2>&1 & - pids[$M]=$! - done - - for M in $todo_machines; do - set +e - wait ${pids[$M]} - results[$M]=$? - set -e - - sed -e "s/^/$M: /" < /tmp/clean-schroot-sessions.$$.$M - rm /tmp/clean-schroot-sessions.$$.$M - done - - all_ok="0" - for M in $todo_machines; do - if [ ${results[$M]} = 0 ]; then - result="SUCCESS" - else - result="FAIL" - all_ok="1" - fi - echo "$result: $M" - done - - exit $all_ok -fi -- cgit v1.2.3