From 7df2244f650dff48ce1091b6ccd39ee7ac23a2e1 Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Wed, 12 Feb 2020 22:34:49 -0600
Subject: [PATCH] [nostalgia] Add make conan to Jenkinsfile

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

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