jenkins: increase timeout for w32 tests
authorJustus Winter <justus@g10code.com>
Thu, 10 Aug 2017 09:41:05 +0000 (11:41 +0200)
committerJustus Winter <justus@g10code.com>
Thu, 10 Aug 2017 09:41:05 +0000 (11:41 +0200)
misc/jenkins/bin/run-tests-w32.bash

index 799f7fa..43a8b38 100755 (executable)
@@ -15,6 +15,7 @@ URI="qemu:///system"
 GUEST="win8.1"
 GUEST_CDROM="sda"
 SSH="gpg@192.168.122.117"
+SSH_COMMAND_TIMEOUT="60m"
 
 function vdo() {
     virsh -c "$URI" "$@"
@@ -22,7 +23,7 @@ function vdo() {
 
 function vssh() {
     # OpenSSH on Windows does not cope well with a closed stdin.
-    timeout </dev/zero 10m ssh "$SSH" "$@"
+    timeout </dev/zero "$SSH_COMMAND_TIMEOUT" ssh "$SSH" "$@"
 }
 
 function vping() {