jenkins.sh: Use custom qemu

This WIP qemu binaries provide significantly better results:
800 more PASSes, 400 less FAILs -- compared to Trusty qemu-armeb.

The tarball also provides qemu-arm and qemu-aarch64, which perform
just as well as qemu-armeb.

Change-Id: I21113651a01ff4af4a569673fdb54741b41aff54

1 files changed, 9 insertions, 0 deletions

diff --git a/jenkins.sh b/jenkins.sh
index 0e1b0ee3..eb054488 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -303,6 +303,15 @@ if test x"${debug}" = x"true"; then
     export CONFIG_SHELL="/bin/bash -x"
 fi
 
+# Download QEMU provided by Peter Maydell.
+# The tarball has README with version information.
+wget http://people.linaro.org/~maxim.kuvyrkov/qemu-20160704.tgz
+tar xf qemu-20160704.tgz
+export PATH="`pwd`/qemu-wip:$PATH"
+for i in aarch64 arm armeb; do
+    qemu-$i --version
+done
+
 # Print some information about the build machine
 echo Running on `hostname`
 uname -a