From 7f20234da8a2116518314ca6f5b4d232e79cb5af Mon Sep 17 00:00:00 2001
From: Christian Dietrich <stettberger@dokucode.de>
Date: Wed, 22 Oct 2014 11:41:29 +0000
Subject: [PATCH] Fix invocation of fail-x86-tracing

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 833a350..ed25bc6 100644
--- a/Makefile
+++ b/Makefile
@@ -11,9 +11,9 @@ startup.o: startup.s
 
 
 trace-%: %/system.elf %/system.iso
-	python 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 \
+	bochs-experiment-runner.py -e $< -i $(shell dirname $<)/system.iso -1 \
+		-V vgabios.bin -b BIOS-bochs-latest \
+		-f fail-x86-tracing -- \
 		-Wf,--start-symbol=os_main \
 		-Wf,--save-symbol=os_main \
 		-Wf,--end-symbol=stop_trace \