From aace580ed7cd41a5f85ff6c83ec11ad49d70c358 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Sat, 25 Oct 2014 17:31:46 +0200 Subject: g-i-i: less noise --- bin/g-i-installation.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 } -- cgit v1.2.3-70-g09d2