From f37515707fdc4c433752dcbc69bae1c060a9727a Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Sat, 16 May 2020 17:16:17 -0500
Subject: [PATCH] [nostalgia] Make Jenkinsfile do ASAN builds

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 36332062..a59a33ad 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
 		}
 		stage('Build Asan') {
 			steps {
-				sh 'make purge configure-debug'
+				sh 'make purge configure-asan'
 				sh 'make'
 			}
 		}