summaryrefslogtreecommitdiffstats
path: root/bin/common-functions.sh
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-01-06 12:12:24 +0100
committerHolger Levsen <holger@layer-acht.org>2016-01-06 12:12:24 +0100
commit4a871f51649aa7bb3fc5def98fc46b9eec3841f2 (patch)
treec213d6ff6fb65eaddf7be1ae6ad781cb85655ae6 /bin/common-functions.sh
parent56b38f8a346c53d45c8acbdb695bf98d586db08f (diff)
downloadjenkins.debian.net-4a871f51649aa7bb3fc5def98fc46b9eec3841f2.tar.xz
reproducible archlinux: update pattern to match archlinux sessions
Diffstat (limited to 'bin/common-functions.sh')
-rwxr-xr-xbin/common-functions.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh
index 0970031f..cd357b1d 100755
--- a/bin/common-functions.sh
+++ b/bin/common-functions.sh
@@ -137,14 +137,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:archlinux"||true) ; do
+ pgrep -f "schroot --directory" || for i in $(schroot --all-sessions -l |grep -v "session:jenkins-reproducible-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:archlinux"||true)
+ RESULT=$(schroot --all-sessions -l|grep -v "session:jenkins-reproducible-archlinux"||true)
if [ -z "$RESULT" ] ; then
echo "No schroot sessions in use atm..."
echo