summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build-aux/Jenkinsfile.full1
1 files changed, 1 insertions, 0 deletions
diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full
index f13be068d..1cf4c2fce 100644
--- a/build-aux/Jenkinsfile.full
+++ b/build-aux/Jenkinsfile.full
@@ -152,6 +152,7 @@ pipeline {
junit '**/.eunit/*.xml, **/_build/*/lib/couchdbtest/*.xml, **/src/mango/nosetests.xml, **/test/javascript/junit.xml'
}
cleanup {
+ sh 'killall -9 beam.smp >/dev/null 2>&1'
sh 'rm -rf $COUCHDB_IO_LOG_DIR'
}
} // post