From 328b1829945361b788d818d34acbd80d9987bc4f Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Wed, 12 Jun 2019 10:44:30 +0100
Subject: [PATCH] CI: compile with 3 threads

---
 azure-pipelines.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index bf23e6098..536ec9d1f 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -20,9 +20,9 @@ jobs:
     - script: $(cmdLine)
     - script: |
         cd build
-        make
-        make examples
-        make test-z3
+        make -j3
+        make -j3 examples
+        make -j3 test-z3
         ./cpp_example
         ./c_example
         cd ..
@@ -105,9 +105,9 @@ jobs:
     - script: python scripts/mk_make.py -d --java --dotnet
     - script: |
         cd build
-        make
-        make examples
-        make test-z3
+        make -j3
+        make -j3 examples
+        make -j3 test-z3
         ./cpp_example
         ./c_example
         cd ..