From 51cca37a3c7f79d1a6040046940433633f7d70a0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 22:20:21 +0200
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

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

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index c2a8eabea..46ac9bc18 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -28,6 +28,7 @@ jobs:
   pool:
     vmImage: "Ubuntu-16.04"
   steps:
+    - script: sudo apt-get install ninja-build
     - script: |
         mkdir build
         cd build