Fix windows compilation in auto-builder

diff --git a/tools/cross-compile.sh b/tools/cross-compile.sh
index e80773c99497abe028c45a7232848da3a6c67e36..ec4feac9aa728d2cdac77a5904d720b78acc26cd 100755 (executable)
--- a/tools/cross-compile.sh
+++ b/tools/cross-compile.sh
@@ -82,12 +82,12 @@ rm micro-$1/micro
 # Windows
 echo "Windows 64"
 GOOS=windows GOARCH=amd64 make build
-mv micro micro-$1
+mv micro.exe micro-$1
 zip -r -q -T micro-$1-win64.zip micro-$1
 mv micro-$1-win64.zip binaries
 echo "Windows 32"
 GOOS=windows GOARCH=386 make build
-mv micro micro-$1
+mv micro.exe micro-$1
 zip -r -q -T micro-$1-win32.zip micro-$1
 mv micro-$1-win32.zip binaries