1 files changed, 0 insertions, 11 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 9847a565..b2fab679 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -390,17 +390,6 @@ 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.
-if [ x"$(uname -m)" = x"x86_64" ]; then
-    wget --progress=dot:giga http://people.linaro.org/~maxim.kuvyrkov/qemu-20160707.tgz
-    tar xf qemu-20160707.tgz
-    export PATH="$(pwd)/qemu-wip:$PATH"
-    for i in aarch64 arm armeb; do
-	qemu-$i --version
-    done
-fi
-
 # Print some information about the build machine
 echo Running on $(hostname)
 uname -a