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