From 22916fd97e18388743e87503d7bedfd0e1df7557 Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Thu, 17 May 2018 13:31:06 +1000 Subject: [PATCH] Vagrant: add comment about utility of valgrind on xenial32 --- Vagrantfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Vagrantfile b/Vagrantfile index 96eb64e94f..8f2d3df766 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -63,6 +63,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| end # LTS, EOL April 2021 + # this VM is useful for running valgrind on! config.vm.define "xenial32", autostart: false do |xenial32| config.vm.box = "ubuntu/xenial32" config.vm.provision :shell, path: "Tools/vagrant/initvagrant.sh"