#!/bin/sh -e
# Kicks off the Jenkins tests.

/opt/vagrant/bin/vagrant up
/opt/vagrant/bin/vagrant ssh -c 'cd /home/vagrant/dxr && make test'
# Should we explicitly destroy the vagrant box here?

#!/bin/sh
# Kicks off the Jenkins tests.

/opt/vagrant/bin/vagrant up
/opt/vagrant/bin/vagrant ssh -c 'cd /home/vagrant/dxr && make test'
RESULT=$?
/opt/vagrant/bin/vagrant destroy --force || exit $?
exit $RESULT
Destroy the vagrant box at the end of each Jenkins run.
Destroy the vagrant box at the end of each Jenkins run.

This is what the vagrant Jenkins plugin does. I suspect state is leaking from run to run without this.
