From d4c9b20dad9ad2d03c57474672d7342886023c58 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 13:56:55 -0700 Subject: [PATCH] test Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist.cmd | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd index bbe7de5ae..250f1a3c1 100644 --- a/scripts/mk_win_dist.cmd +++ b/scripts/mk_win_dist.cmd @@ -2,6 +2,19 @@ git config --global user.email "nbjorner@microsoft.com" git config --global user.name "Nikolaj Bjorner" +echo "test" > bin\nightly\ping.txt + +cd bin\nightly + +git add ping.txt + +git commit -s -a -m "test" + +git push + +goto :EOF + + call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" python scripts\mk_win_dist.py --x64-only --dotnet-key=$(Agent.TempDirectory)\z3.snk