Merge branch 'scale-amd64' of git+ssh://amsterdam.csail.mit.edu/home/am0/6.828/xv6 into scale-amd64

2edf804d · Silas Boyd-Wickizer · 3e6bc673 · 023b0f75 · 2edf804d
--- a/Makefile
+++ b/Makefile
@@ -99,6 +99,7 @@ MTRACEOPTS = -rtc clock=vm -mtrace-enable -mtrace-file mtrace.out \
 mtrace.out: mscan.kern mscan.syms 
 	$(Q)rm -f mtrace.out
 	$(MTRACE) $(QEMUOPTS) $(MTRACEOPTS) -kernel mscan.kern
+.PHONY: mtrace.out

 mscan.out: $(QEMUSRC)/mtrace-tools/mscan mtrace.out
 	$(QEMUSRC)/mtrace-tools/mscan > $@ || (rm -f $@; exit 2)