From cc6f185e40ab3f453dea1087fea2f43c11f3188d Mon Sep 17 00:00:00 2001
From: Everett Maus <evmaus@google.com>
Date: Thu, 8 Aug 2019 19:59:20 -0700
Subject: [PATCH] Examples are failing to build for strange reasons.

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

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 8b8d15564..789aad5fd 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -81,8 +81,8 @@ jobs:
          cd build
          ./test-z3 -a
          cd ..
-      condition: eq(variables['runUnitTest'], 'True')
     - template: scripts/test-examples-cmake.yml
+      condition: eq(variables['runUnitTest'], 'True')
 #   - template: scripts/test-jupyter.yml
 #   - template: scripts/test-java-cmake.yml
     - template: scripts/test-regressions.yml