diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-11-21 18:50:01 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-11-21 18:50:01 +0000 |
commit | 250fb7485759356e4ff9528e96b2dfb76211fad7 (patch) | |
tree | 4e77bba9e85ddcabd15a6809552fc899a2a298dd /bin | |
parent | 541109dea1ad78380a892451f6b4d95fbef3660a (diff) | |
download | jenkins.debian.net-250fb7485759356e4ff9528e96b2dfb76211fad7.tar.xz |
reproducible Arch Linux: update regex to ignore Arch Linux schroot sessions
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/common-functions.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index 314ad2c8..00ca2d3d 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -231,14 +231,14 @@ cleanup_schroot_sessions() { for loop in $(seq 0 40) ; do # first, check if no process using "schroot" is running, if thats the case, loop through all schroot sessions: # arch sessions are ignored, because they are handled properly - pgrep -f "schroot --directory" || for i in $(schroot --all-sessions -l |grep -v "session:jenkins-reproducible-archlinux"||true) ; do + pgrep -f "schroot --directory" || for i in $(schroot --all-sessions -l |grep -v "session:archlinux"||true) ; do # then, check that schroot is still not run, and then delete the session if [ -z $i ] ; then continue fi pgrep -f "schroot --directory" || schroot -e -c $i done - RESULT=$(schroot --all-sessions -l|grep -v "session:jenkins-reproducible-archlinux"||true) + RESULT=$(schroot --all-sessions -l|grep -v "session:archlinux"||true) if [ -z "$RESULT" ] ; then echo "No schroot sessions in use atm..." echo |