summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index f452d6b..62f63cb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,8 @@ pipeline {
9 } 9 }
10 stage('Build') { 10 stage('Build') {
11 steps { 11 steps {
12 sh 'make main' 12 sh 'make main BUILD=release'
13 sh 'make main BUILD=debug'
13 } 14 }
14 } 15 }
15 } 16 }
..