From b13e7b9df33fd5f34e205d12a8e3bd9b2c5dbada Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 20 Dec 2019 22:29:47 -0800
Subject: [PATCH] Update nightly.yaml

again
---
 scripts/nightly.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 6b085d95e..6d524aca4 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -130,6 +130,10 @@ jobs:
     inputs:
      artifactName: 'Manylinux'
      targetPath: $(Agent.TempDirectory)
+  - task: DownloadPipelineArtifact@0
+    inputs:
+     artifactName: 'Mac'
+     targetPath: $(Agent.TempDirectory)
   - script: cd $(Agent.TempDirectory); mkdir osx-bin; cd osx-bin; unzip ../*osx*.zip
   - script: cd $(Agent.TempDirectory); mkdir linux-bin; cd linux-bin; unzip ../*centos*.zip
   - script: cd $(Agent.TempDirectory); mkdir win32-bin; cd win32-bin; unzip ../*x86-win*.zip