diff options
author | Tom Willemse | 2020-10-09 22:38:41 -0700 |
---|---|---|
committer | Tom Willemse | 2020-10-09 22:38:41 -0700 |
commit | d9e8ecd24672ab608df929c43201e3fa1aa9fe0b (patch) | |
tree | b7fec81f06d6a358f2912207437c8aa24c30ac89 | |
parent | cd7aae642a62c50e8265590cc037839d60eaeecd (diff) | |
download | new-ryuslash.org-d9e8ecd24672ab608df929c43201e3fa1aa9fe0b.tar.gz new-ryuslash.org-d9e8ecd24672ab608df929c43201e3fa1aa9fe0b.zip |
Install Cask dependencies before make
-rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 88bdd58..72e4c97 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,6 +9,7 @@ pipeline { stages { stage('Build') { steps { + sh 'cask' sh 'make' stash includes: 'public/*', name: 'public_html' } |