From cc4c86175a45ddc4f9143f38d4f2c8cebe47a7fd Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Wed, 6 Jan 2016 15:35:42 +0100
Subject: make cleanup faster by making it more dirty

---
 bin/reproducible_slay.sh | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'bin/reproducible_slay.sh')

diff --git a/bin/reproducible_slay.sh b/bin/reproducible_slay.sh
index 922bea27..81fe5528 100755
--- a/bin/reproducible_slay.sh
+++ b/bin/reproducible_slay.sh
@@ -7,12 +7,10 @@ set -e
 
 # usually called by /srv/jenkins/bin/reproducible_cleanup_nodes.sh
 # this script just kills everyone…
-sudo slay -clean 1111
-sudo slay -clean 2222
-sleep 2
-ps fax
+sudo slay 1111
+sudo slay 2222
+pgrep -u 1111,2222
 # only slay jenkins on the build nodes…
 if [ "$HOSTNAME" != "jenkins" ] ; then
-	sudo slay -clean jenkins
+	sudo slay jenkins
 fi
-
-- 
cgit v1.2.3-54-g00ecf