diff --git a/test/Vagrantfile b/test/Vagrantfile index 6de338cb..53462a17 100644 --- a/test/Vagrantfile +++ b/test/Vagrantfile @@ -9,6 +9,16 @@ n_machines = 2 ip_prefix = "192.168.48" ip_suffix_base = 10 +$cleanup = <