From 2d49ecc3e6547c50a3a09980dd6a908f0e6ad40d Mon Sep 17 00:00:00 2001 From: denes Date: Thu, 11 Jul 2019 16:08:35 +0200 Subject: [PATCH] Comments in jenkinsfile starts with // not # --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index b8067dc..052fb1d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { steps { sh 'git submodule sync' sh 'git submodule update --init --recursive --remote' -# sh 'git submodule update --init --recursive' +// sh 'git submodule update --init --recursive' } }