From 19a64a6540b0ec6cc9f68d60cc68d5bc0234c292 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 15:51:07 -0700 Subject: [PATCH] update dist Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist.cmd | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd index 250f1a3c1..e3c24da2f 100644 --- a/scripts/mk_win_dist.cmd +++ b/scripts/mk_win_dist.cmd @@ -1,19 +1,3 @@ -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" @@ -23,13 +7,3 @@ call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliar python scripts\mk_win_dist.py --x86-only --dotnet-key=$(Agent.TempDirectory)\z3.snk -xcopy dist\*.zip bin\nightly\* /y - -cd bin\nightly - -git add *.zip - -git commit -s -a -m "nightly Windows" - -git push -