[nostalgia] Make Jenkinsfile do ASAN builds

2020-05-16 17:16:17 -05:00
parent 86652ca8d4
commit f37515707f
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -10,7 +10,7 @@ pipeline {
 		}
 		stage('Build Asan') {
 			steps {
-				sh 'make purge configure-debug'
+				sh 'make purge configure-asan'
 				sh 'make'
 			}
 		}