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

diff --git a/ci/jjb/shell/verify.sh b/ci/jjb/shell/verify.sh
index 1bb45ce..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 su -c 'make verifier'
+sudo su -c 'make {target}'
 "