From 526cab538a2da17239826f46b5f1f66a850b34ef Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@kastelo.net>
Date: Tue, 13 Sep 2016 22:18:55 +0200
Subject: [PATCH] jenkins: Don't fetch --prune unnecessarily, print build
 version on Windows

---
 jenkins/build-windows.bat | 1 +
 jenkins/common.bash       | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins/build-windows.bat b/jenkins/build-windows.bat
index 8ec82973..167b96d9 100644
--- a/jenkins/build-windows.bat
+++ b/jenkins/build-windows.bat
@@ -24,6 +24,7 @@ cd src\github.com\syncthing\syncthing
 echo Initializing ^& cleaning
 go version
 git clean -fxd || goto error
+go run build.go version
 echo.
 
 echo Fetching extras
diff --git a/jenkins/common.bash b/jenkins/common.bash
index cba35847..1d93fdf4 100644
--- a/jenkins/common.bash
+++ b/jenkins/common.bash
@@ -32,7 +32,6 @@ function clean {
     echo Cleaning
     rm -rf "$GOPATH/pkg"
     git clean -fxd
-    git fetch --prune
     echo
 }