X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Makefile;fp=Makefile;h=ece2886de8599e9b4f2c0f90dc85f4f1ff801cf5;hb=6661ea88f7d2bbb4c4fac8db769e97651dd287bd;hp=9a4eefd09e5a19c6e55455c878254c8f6bcffdfd;hpb=03897d8fbb5b27f03a4df2d4157f72d066e3fc13;p=fedora-riscv.git

diff --git a/Makefile b/Makefile
index 9a4eefd..ece2886 100644
--- a/Makefile
+++ b/Makefile
@@ -1037,16 +1037,18 @@ stage3-disk.img.xz: stage3-disk.img
 	rm -f $@
 	xz --best $^
 
+DISK := stage3-disk.img
+
 # Helper which boots stage3 disk image in spike.
 boot-stage3-in-spike: stage3-disk.img stage3-kernel/linux-$(KERNEL_VERSION)/vmlinux
-	spike +disk=stage3-disk.img \
+	spike +disk=$(DISK) \
 	    /usr/bin/bbl stage3-kernel/linux-$(KERNEL_VERSION)/vmlinux
 
 # Helper which boots stage3 disk image in qemu.
 boot-stage3-in-qemu: stage3-disk.img stage3-kernel/linux-$(KERNEL_VERSION)/vmlinux
 	qemu-system-riscv -kernel /usr/bin/bbl \
 	    -append ./stage3-kernel/linux-$(KERNEL_VERSION)/vmlinux \
-	    -drive file=stage3-disk.img,format=raw -nographic
+	    -drive file=$(DISK),format=raw -nographic
 
 # Stage 4