Improve visibility of release generation steps

1 files changed, 6 insertions, 8 deletions

diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full
index 2a9556be7..3c592db87 100644
--- a/build-aux/Jenkinsfile.full
+++ b/build-aux/Jenkinsfile.full
@@ -105,14 +105,12 @@ pipeline {
         timeout(time: 15, unit: "MINUTES")
       }
       steps {
-        sh '''
-          set
-          rm -rf apache-couchdb-*
-          ./configure --spidermonkey-version ${spidermonkey}
-          make erlfmt-check
-          make dist
-          chmod -R a+w * .
-        '''
+        sh 'ls -l'
+        sh 'rm -rf apache-couchdb-*'
+        sh "./configure --spidermonkey-version ${spidermonkey}"
+        sh 'make erlfmt-check'
+        sh 'make elixir-check-formatted'
+        sh 'make dist'
       }
       post {
         success {