summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_slay.sh10
1 files changed, 4 insertions, 6 deletions
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
-