From 971f83997cefb92060c1d68f83a9417b239efa8d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 20 Mar 2018 17:02:19 -0700
Subject: [PATCH] add ls

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

diff --git a/scripts/vsts-mac.sh b/scripts/vsts-mac.sh
index 807631bba..a1d3d70e6 100644
--- a/scripts/vsts-mac.sh
+++ b/scripts/vsts-mac.sh
@@ -1,6 +1,7 @@
 #!/bin/sh
 
 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