jenkins: Don't fetch --prune unnecessarily, print build version on Windows

2016-09-13 22:18:55 +02:00
parent 81d19a00aa
commit 526cab538a
2 changed files with 1 additions and 1 deletions
@@ -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