From 77460397241a1d0490c59db2bc6b8738d76c375a Mon Sep 17 00:00:00 2001
From: Zachary Yedidia <zyedidia@gmail.com>
Date: Sat, 28 Dec 2019 01:56:03 +0000
Subject: [PATCH] Fix windows compilation in auto-builder

---
 tools/cross-compile.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/cross-compile.sh b/tools/cross-compile.sh
index e80773c9..ec4feac9 100755
--- 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