# Disable 'globbing'
set -exuf -o pipefail
-function clean_vm {
+function clean_vm {{
vagrant destroy -f
-}
+}}
trap clean_vm EXIT
vagrant destroy -f
sudo apt update
sudo apt install -y make
cd /vagrant
-sudo su -c 'make verifier'
+sudo su -c 'make {target}'
"