#156. Switch publishing to Jenkinsfile

sta-szek · Dec 22, 2016 · 8feb34b · 8feb34b
1 parent 7dcb16c
commit 8feb34b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
 //                env.BRANCH == 'master'
 //            }
             steps {
-                REV = sh(returnStdout: true, script: '$(git rev - parse-- short HEAD)')
+                def REV = sh(returnStdout: true, script: '$(git rev - parse-- short HEAD)')
                 sh "npm install gitbook-cli"
                 sh "./gradlew javadoc >/dev/null"
                 sh "mv ./build/docs/javadoc ./src/book/javadoc"