diff options
Diffstat (limited to 'tcwg-bkk16-buildfarm-benchmark.yaml')
| -rw-r--r-- | tcwg-bkk16-buildfarm-benchmark.yaml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tcwg-bkk16-buildfarm-benchmark.yaml b/tcwg-bkk16-buildfarm-benchmark.yaml index ac4c2c4d2b..b1c5b6cf3c 100644 --- a/tcwg-bkk16-buildfarm-benchmark.yaml +++ b/tcwg-bkk16-buildfarm-benchmark.yaml @@ -224,9 +224,8 @@ BUILD_SHELL="schroot -r -c session:$session_id --preserve-environment -- bash" $BUILD_SHELL -c "echo \"Build session is up; ulimit config:\"; ulimit -a" - # Sometimes /dev/pts can't get unmounted on the first try. - # Workaround by retrying. - trap "{ schroot -f -e -c session:$session_id || { sleep 60 ; schroot -f -e -c session:$session_id; } || true; }" 0 + # Remove schroot session on exit + trap "schroot -f -e -c session:$session_id" 0 git clone -b $scripts_branch --depth 1 https://git-us.linaro.org/toolchain/jenkins-scripts |