commit 7249bfa954512b99437e2ac6479c09edb0b30521
author Dean Birch <dean.birch@arm.com> Thu May 21 16:22:39 2020 +0100
committer Dean Birch <dean.birch@arm.com> Thu May 28 14:26:34 2020 +0100
tree fd09c77c93d08f8b814b9dea451175e3deb09bb9
parent 83366051ea49af065f8e2e1787b7ad07aed160bf

Codestyle changes

Addressing some indentation comments.

Change-Id: I04057408eae3ffb656c1f830bfc30b878ef36670

jenkins/build-docs.jpl

diff --git a/jenkins/build-docs.jpl b/jenkins/build-docs.jpl
index 044dd45..bc284b2 100644
--- a/jenkins/build-docs.jpl
+++ b/jenkins/build-docs.jpl
@@ -43,17 +43,17 @@
       )
     }
     sh """
-# Host https://github.com/Arm-software/CMSIS_5/releases/download/5.5.0/ARM.CMSIS.5.5.0.pack
-# under \$JENKINS_HOME/userContent
-set +e
-wget -O cmsis.pack -q \${JENKINS_URL}/userContent/ARM.CMSIS.${CMSIS_VERSION}.pack
-if [ "\$?" != "0" ] ; then
-set -e
-wget -O cmsis.pack -q https://github.com/Arm-software/CMSIS_5/releases/download/${CMSIS_VERSION}/ARM.CMSIS.${CMSIS_VERSION}.pack
-fi
-set -e
-unzip -o -d CMSIS_5 cmsis.pack
-"""
+    # Host https://github.com/Arm-software/CMSIS_5/releases/download/5.5.0/ARM.CMSIS.5.5.0.pack
+    # under \$JENKINS_HOME/userContent
+    set +e
+    wget -O cmsis.pack -q \${JENKINS_URL}/userContent/ARM.CMSIS.${CMSIS_VERSION}.pack
+    if [ "\$?" != "0" ] ; then
+    set -e
+    wget -O cmsis.pack -q https://github.com/Arm-software/CMSIS_5/releases/download/${CMSIS_VERSION}/ARM.CMSIS.${CMSIS_VERSION}.pack
+    fi
+    set -e
+    unzip -o -d CMSIS_5 cmsis.pack
+    """
   }
   try {
     verify = 1