summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorGabriele Giacone <1o5g4r8o@gmail.com>2014-04-21 01:39:35 +0200
committerGabriele Giacone <1o5g4r8o@gmail.com>2014-04-21 01:39:35 +0200
commit67619a30dc16d2a457bfdd26f149ba00cd5dd85f (patch)
treeb52055a14ce3bd1302d47c98647e1c7b9033dbe2 /bin
parentd554917ea1d452077297ae20a8af1dd2fb79bcd5 (diff)
downloadjenkins.debian.net-67619a30dc16d2a457bfdd26f149ba00cd5dd85f.tar.xz
[hurd] Use host cpu, trying to make it faster.
Diffstat (limited to 'bin')
-rwxr-xr-xbin/g-i-installation.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh
index 94d6b742..108ae36a 100755
--- a/bin/g-i-installation.sh
+++ b/bin/g-i-installation.sh
@@ -136,6 +136,7 @@ bootstrap_system() {
case $NAME in
*_kfreebsd) ;;
*_hurd*) QEMU_SERIAL_OUT=${WORKSPACE}/serial-out.log
+ QEMU_OPTS="$QEMU_OPTS -cpu host"
QEMU_OPTS="$QEMU_OPTS -serial file:${QEMU_SERIAL_OUT}"
QEMU_OPTS="$QEMU_OPTS -vga std"
gzip -cd $IMAGE_MNT/boot/kernel/gnumach.gz > $WORKSPACE/gnumach
@@ -259,6 +260,7 @@ boot_system() {
;;
*_hurd*)
QEMU_SERIAL_OUT=${WORKSPACE}/serial-out.log
+ QEMU_OPTS="$QEMU_OPTS -cpu host"
QEMU_OPTS="$QEMU_OPTS -serial file:${QEMU_SERIAL_OUT}"
;;
*) ;;