From 6d96f96cc37aba56897b281bdac7f23fc4ce38c2 Mon Sep 17 00:00:00 2001
From: Alexey Vishnyakov <vishnya@ispras.ru>
Date: Fri, 15 May 2020 18:50:47 +0300
Subject: [PATCH] Fix single threaded azure pipeline (#4329)

---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 217731970..42b4c0859 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -121,7 +121,7 @@ jobs:
       releaseSTGcc:
         setupCmd1: ''
         setupCmd2: ''
-        buildCmd: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)'
+        buildCmd: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DZ3_SINGLE_THREADED=ON $(cmakeStdArgs)'
         runTests: 'True'        
   steps:
     - script: sudo apt-get install ninja-build