---

brson · brson · commit 0b9e8dd8e7d8 · 2011-08-03T10:55:59.000-07:00
yaml --- r: 4375 b: refs/heads/master c: 92a4c0c h: refs/heads/master i: 4373: 8f2baa0 4371: fc9161e 4367: 16f7309 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 63600828cd8745d4b8447ba8f9207f3ff345c28d
+refs/heads/master: 92a4c0cee701a91702d4295eef37fc2ea12bc153
diff --git a/trunk/mk/pp.mk b/trunk/mk/pp.mk
@@ -8,7 +8,8 @@ else
                          $(S)src/test/*/*/*.rs) \
               $(wildcard $(S)src/fuzzer/*.rs)
 
-  PP_INPUTS_FILTERED = $(shell echo $(PP_INPUTS) | xargs grep -L no-reformat)
+  PP_INPUTS_FILTERED = $(shell echo $(PP_INPUTS) | xargs grep -L \
+                       "no-reformat\|xfail-pretty\|xfail-stage2")
 endif
 
 reformat: $(SREQ1)

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 63600828cd8745d4b8447ba8f9207f3ff345c28d`
	`2`	`+refs/heads/master: 92a4c0cee701a91702d4295eef37fc2ea12bc153`