From 6304578111b04aaaf7e3d22dc92b848b1b5f31e0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 20 Mar 2018 17:08:26 -0700 Subject: [PATCH] mac Signed-off-by: Nikolaj Bjorner --- 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 652a68656..a38ad86b2 100644 --- a/scripts/vsts-mac.sh +++ b/scripts/vsts-mac.sh @@ -2,7 +2,7 @@ cd .. mkdir build -CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil CXX=clang++ CC=clang python scripts/mk_make.py --dotnet --java --python +CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil CXX=clang++ CC=clang python scripts/mk_make.py --java --python cd build make