X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=blobdiff_plain;f=ci%2Fjjb%2Fshell%2Fverify.sh;h=a5e68faf44fc691a9c6ef901dcdefc34746fe86a;hb=refs%2Fchanges%2F68%2F1868%2F3;hp=e14e65a7acb47f6a0e78750cddb53f711f6f56a8;hpb=5f7e452a5fd65cf80e0cbc6df5787138ccbeb893;p=icn.git

diff --git a/ci/jjb/shell/verify.sh b/ci/jjb/shell/verify.sh
index e14e65a..a5e68fa 100644
--- a/ci/jjb/shell/verify.sh
+++ b/ci/jjb/shell/verify.sh
@@ -5,9 +5,9 @@ echo "---> verify.sh"
 # Disable 'globbing'
 set -exuf -o pipefail
 
-function clean_vm {
+function clean_vm {{
     vagrant destroy -f
-}
+}}
 trap clean_vm EXIT
 
 vagrant destroy -f
@@ -19,5 +19,5 @@ sudo resize2fs /dev/sda3
 sudo apt update
 sudo apt install -y make
 cd /vagrant
-sudo make verifier
+sudo su -c 'make {target}'
 "