christoph/fail-targets
1
Fork 0
Code Releases Activity

Fix invocation of fail-x86-tracing

Browse Source
This commit is contained in:
Christian Dietrich
2014-10-22 11:41:29 +00:00
parent 6b7c5dd88d
commit 7f20234da8
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@ -11,9 +11,9 @@ startup.o: startup.s
trace-%: %/system.elf %/system.iso trace-%: %/system.elf %/system.iso
python bochs-experiment-runner.py -e $< -i $(shell dirname $<)/system.iso -1 \ bochs-experiment-runner.py -e $< -i $(shell dirname $<)/system.iso -1 \
-f /proj/i4ciao/tools/fail/fail-x86-tracing -- \ -V vgabios.bin -b BIOS-bochs-latest \
-V vgabios.bin - b BIOS-bochs-latest \ -f fail-x86-tracing -- \
-Wf,--start-symbol=os_main \ -Wf,--start-symbol=os_main \
-Wf,--save-symbol=os_main \ -Wf,--save-symbol=os_main \
-Wf,--end-symbol=stop_trace \ -Wf,--end-symbol=stop_trace \