diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 3 |
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 | } |