Install private jenkins for CD jobs

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

diff --git a/ci/jjb/shell/verify.sh b/ci/jjb/shell/verify.sh
new file mode 100644 (file)
index 0000000..4b3016f
--- /dev/null
+++ b/ci/jjb/shell/verify.sh
@@ -0,0 +1,23 @@
+#!/bin/bash -l
+echo "---> verify.sh"
+
+# Ensure we fail the job if any steps fail
+# Disable 'globbing'
+set -exuf -o pipefail
+
+function clean_vm {
+  vagrant destroy -f
+}
+trap clean_vm EXIT
+
+vagrant destroy -f
+vagrant up
+vagrant ssh -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
+sudo make verifier
+"