Merge branch 'master' of github.com:DIKU-EDU/kudos

DIKU-EDU · Nov 2, 2016 · 26eab47 · 26eab47
2 parents b2fe820 + db5bff2
commit 26eab47
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/run_qemu.sh b/run_qemu.sh
@@ -11,6 +11,7 @@ set -euo pipefail
 iso_path=./qemu/kudos.iso
 kudos_disk_path=./store.file
 kudos_path=./kudos/kudos-x86_64
+grub_set_path=./qemu/grub/iso/boot/grub/grub.cfg
 
 if [ -f "$iso_path" ]; then
   rm "$iso_path"
@@ -23,6 +24,9 @@ grub-mkrescue -o "$iso_path" "./qemu/grub/iso" -p "./grub"
 rm qemu/grub/iso/boot/grub/grub.cfg
 
 touch qemu/grub/iso/boot/grub/grub.cfg 
+if [ -f "$grub_set_path" ]; then
+    rm "$grub_set_path"
+fi
 
 echo "set timeout=0
 set default=0 # Set the default menu entry
@@ -32,6 +36,8 @@ menuentry \"kudos\" {
    boot
 }" >> ./qemu/grub/iso/boot/grub/grub.cfg 
 
+grub-mkrescue -o "$iso_path" "./qemu/grub/iso"
+
 qemu-system-x86_64 \
   -gdb tcp::1234    \
   -monitor stdio    `# non graphical mode` \