Merge pull request #90 from larry-xmos/release/0.1.3

XVF3500 maintenance release

Jenkinsfile

@@ -86,16 +86,31 @@ pipeline {
         }
       }
     }
-    stage('Update') {
+    stage('Release and update') {
       agent {
         label 'x86_64&&brew'
       }
+      stages {
+        stage('Release') {
+          when {
+            expression {
+              isReleaseBranchOfOrganisation('xmos')
+            }
+          }
+          steps {
+            sh 'mkdir ${REPO}/empty'
+            xcoreReleaseToGithub("${WORKSPACE}/${REPO}","${WORKSPACE}/${REPO}/empty")
+          }
+        }
+        stage('Update') {
           steps {
             updateViewfiles()
           }
+        }
+      }
       post {
         cleanup {
-          cleanWs()
+          xcoreCleanSandbox()
         }
       }
     }