From 3bc48c04f7df11aa55c72d501f64a7473fe2df51 Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Tue, 22 Oct 2019 23:57:48 -0500
Subject: [PATCH] [nostalgia] Fix build configuration commands in Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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