aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile1
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'
}