From 3f5cea4a9ea12244962bd85ddfe7715aa999b5de Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Wed, 12 Jun 2019 09:53:43 +0100
Subject: [PATCH] CI: add test for --single-threaded

---
 azure-pipelines.yml | 21 +++++++++++----------
 1 file changed, 11 insertions(+), 10 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index e4330a762..bf23e6098 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -10,8 +10,14 @@ jobs:
   displayName: "Ubuntu build - python make - debug"
   pool:
     vmImage: "Ubuntu-16.04"
+  strategy:
+    matrix:
+      MT:
+        cmdLine: 'python scripts/mk_make.py -d --java --dotnet'
+      ST:
+        cmdLine: './configure --single-threaded'
   steps:
-    - script: python scripts/mk_make.py -d --java --dotnet
+    - script: $(cmdLine)
     - script: |
         cd build
         make
@@ -19,7 +25,7 @@ jobs:
         make test-z3
         ./cpp_example
         ./c_example
-        cd ..     
+        cd ..
     - template: scripts/test-z3.yml
     - template: scripts/regression-test.yml
 
@@ -44,6 +50,9 @@ jobs:
       debugGcc:
         cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)'
         runUnitTest: 'True'
+      releaseSTGcc:
+        cmdLine: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)'
+        runUnitTest: 'True'
 #      gccX86:
 #        cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
 #        runUnitTest: 'True'
@@ -135,11 +144,3 @@ jobs:
         cd ..
     - template: scripts/test-z3.yml
     - template: scripts/regression-test.yml
-
-
-
-
-
-
-
-