diff options
-rw-r--r-- | build-aux/Jenkinsfile.full | 1 |
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 |