Update os-boot/linux/Makefile

Timmmm · arichardson · web-flow · commit 8ee25d0d3f1a · 2025-06-27T21:25:24.000+01:00
Co-authored-by: Alexander Richardson &lt;mail@alexrichardson.me&gt;
Signed-off-by: Tim Hutt &lt;tdhutt@gmail.com&gt;
diff --git a/os-boot/linux/Makefile b/os-boot/linux/Makefile
@@ -69,8 +69,8 @@ LIMIT_INSTRUCTIONS := 20000000
 
 # Run with the Sail emulator from this repo.
 .PHONY: sail
-sail: build/sail.dtb $(elf)
-	../../build/c_emulator/riscv_sim_rv64d --no-trace -p -l $(LIMIT_INSTRUCTIONS) --device-tree-blob build/sail.dtb $(elf)
+sail: build/sail.dtb $(elf) $(SAIL_SIM)
+	$(SAIL_SIM) --no-trace -p -l $(LIMIT_INSTRUCTIONS) --device-tree-blob build/sail.dtb $(elf)
 
 # Run the profiler. This requires gperftools and pprof:
 #

Original file line number	Diff line number	Diff line change
`@@ -69,8 +69,8 @@ LIMIT_INSTRUCTIONS := 20000000`
`69`	`69`
`70`	`70`	`# Run with the Sail emulator from this repo.`
`71`	`71`	`.PHONY: sail`
`72`		`-sail: build/sail.dtb $(elf)`
`73`		`- ../../build/c_emulator/riscv_sim_rv64d --no-trace -p -l $(LIMIT_INSTRUCTIONS) --device-tree-blob build/sail.dtb $(elf)`
	`72`	`+sail: build/sail.dtb $(elf) $(SAIL_SIM)`
	`73`	`+ $(SAIL_SIM) --no-trace -p -l $(LIMIT_INSTRUCTIONS) --device-tree-blob build/sail.dtb $(elf)`
`74`	`74`
`75`	`75`	`# Run the profiler. This requires gperftools and pprof:`
`76`	`76`	`#`