Add note to Jenkins setup about Git plugin

[icn.git] / ci / jjb / shell / vagrant-verify.sh

diff --git a/ci/jjb/shell/vagrant-verify.sh b/ci/jjb/shell/vagrant-verify.sh
index 65148aa..ec931c2 100644 (file)
--- a/ci/jjb/shell/vagrant-verify.sh
+++ b/ci/jjb/shell/vagrant-verify.sh
@@ -6,18 +6,17 @@ echo "---> vagrant-verify.sh"
 set -exuf -o pipefail
 
 function clean_vm {{
-    vagrant destroy -f
+    ./tools/vagrant/destroy.rb
 }}
 trap clean_vm EXIT
 
-vagrant destroy -f
-vagrant up
-vagrant ssh -c "
+# TODO Improve VM performance by only using cores on the same node
+#sed -i -e '/^\s\+libvirt.cpus/!b' -e "h;s/\S.*/libvirt.cpuset = '0-21,44-65'/;H;g" Vagrantfile
+
+./tools/vagrant/destroy.rb
+vagrant up --no-parallel
+vagrant ssh jump -c "
 set -exuf
-sudo parted -a optimal /dev/sda ---pretend-input-tty resizepart 3 yes 100%
-sudo resize2fs /dev/sda3
-sudo apt update
-sudo apt install -y make
-cd /vagrant
+cd /icn
 sudo su -c 'make {target}'
 "