Jenkins: Pipeline fixup.
diff --git a/Jenkinsfile b/Jenkinsfile
index 7e5a74c..d54a315 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -492,13 +492,13 @@
                                            props: "GIT_COMMIT=${COMMIT['GIT_COMMIT']}"
                     }
                     withCredentials([string(credentialsId: 'grasci_github', variable: 'ghtoken')]) {
-                        sh("""
+                        sh """
                             curl -XPOST \
                                 -H "Authorization:token ${ghtoken}" \
                                 -H "Content-Type:application/octet-stream" \
                                 --data-binary @ARM.CMSIS.${VERSION}.pack \
-                                https://uploads.github.com/repos/ARM-software/CMSIS_5/releases/${VERSION}/assets?name=ARM.CMSIS.${VERSION}.pack')
-
+                                https://uploads.github.com/repos/ARM-software/CMSIS_5/releases/${VERSION}/assets?name=ARM.CMSIS.${VERSION}.pack
+                        """
                     }
                 }
             }