devonfw#803: fixed git pull error when in debug mode

hohwille · Jun 23, 2022 · 2568482 · 2568482
1 parent 9566dd1
commit 2568482
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/src/main/resources/scripts/functions b/scripts/src/main/resources/scripts/functions
@@ -1080,7 +1080,7 @@ function doGitPullOrClone() {
     local message="Can not update git repository: ${dir}\n"
     if [ -n "${remotes}" ]
     then
-      git pull "${git_opts}"
+      git pull ${git_opts}
       local result="$?"
       popd > /dev/null || exit 255 
       if [ "${result}" = 0 ]