From d910de781ecbdf308439dbca9dce2fb257230a24 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Sat, 14 May 2016 02:29:38 +0200
Subject: [PATCH] tar xzf fails randomly on netbsd for now, try another method

---
 tools/jenkins/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 81ffb59a35..7a77cf8d41 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -100,7 +100,8 @@ if test "$(uname -o)" != "Msys"; then
   echo "XX"
   echo "XX Open the resulting archive"
   echo "XX"
-  tar xzf `cat VERSION`.tar.gz
+  gunzip `cat VERSION`.tar.gz
+  tar xf `cat VERSION`.tar
   cd `cat VERSION`
   mkdir build
   cd build
-- 
2.20.1