diff --git a/Jenkinsfile b/Jenkinsfile
index 225e4ef1..cd61dd08 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
 	stages {
 		stage('Build') {
 			steps {
-				sh 'make release'
+				sh 'make configure-debug configure-release'
 				sh 'make'
 			}
 		}