diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-25 17:31:46 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-25 17:31:46 +0200 |
| commit | aace580ed7cd41a5f85ff6c83ec11ad49d70c358 (patch) | |
| tree | 22d26537e7750f1207e3fe87656c56cd2e024fa2 | |
| parent | dfa4da5d7e5ec812c2f551bce5659ac9a4a2509e (diff) | |
| download | jenkins.debian.net-aace580ed7cd41a5f85ff6c83ec11ad49d70c358.tar.xz | |
g-i-i: less noise
| -rwxr-xr-x | bin/g-i-installation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index 297815b0..748f8dff 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -249,7 +249,6 @@ bootstrap_system() { show_preseed $(hostname -f)/$PRESEED_PATH/${NAME}_$PRESEEDCFG echo echo "Starting QEMU now:" - set -x QEMU_LAUNCHER=$(mktemp) echo "cd $WORKSPACE" > $QEMU_LAUNCHER echo -n "sudo qemu-system-x86_64 $QEMU_OPTS " >> $QEMU_LAUNCHER @@ -259,6 +258,7 @@ bootstrap_system() { echo -n '--kernel '$WORKSPACE'/gnumach --initrd "'$IMAGE_MNT'/boot/initrd.gz \$(ramdisk-create),'$IMAGE_MNT'/boot/kernel/ext2fs.static --multiboot-command-line=\${kernel-command-line} --host-priv-port=\${host-port} --device-master-port=\${device-port} --exec-server-task=\${exec-task} -T typed gunzip:device:rd0 \$(task-create) \$(task-resume),'$IMAGE_MNT'/boot/kernel/ld.so.1 /hurd/exec \$(exec-task=task-create)" ' >> $QEMU_LAUNCHER fi echo "--append \"$APPEND\"" >> $QEMU_LAUNCHER + set -x (bash -x $QEMU_LAUNCHER && touch $RESULTS/qemu_quit ) & set +x } |