From 116f0e0c705c63261dbc54bd8473b205abc8ecb3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 20 Mar 2018 17:05:12 -0700
Subject: [PATCH] cd below

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/vsts-mac.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/vsts-mac.sh b/scripts/vsts-mac.sh
index a1d3d70e6..974f343e6 100644
--- a/scripts/vsts-mac.sh
+++ b/scripts/vsts-mac.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
+cd ..
 mkdir build
-ls
 CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil CXX=clang++ CC=clang python scripts/mk_make.py -x --dotnet --java --python
 cd build
 make