diff options
| author | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-04-21 01:39:35 +0200 |
|---|---|---|
| committer | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-04-21 01:39:35 +0200 |
| commit | 67619a30dc16d2a457bfdd26f149ba00cd5dd85f (patch) | |
| tree | b52055a14ce3bd1302d47c98647e1c7b9033dbe2 /bin | |
| parent | d554917ea1d452077297ae20a8af1dd2fb79bcd5 (diff) | |
| download | jenkins.debian.net-67619a30dc16d2a457bfdd26f149ba00cd5dd85f.tar.xz | |
[hurd] Use host cpu, trying to make it faster.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/g-i-installation.sh | 2 |
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}" ;; *) ;; |