diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_slay.sh | 10 |
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 - |