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 | } |
