diff --git a/mk/pp.mk b/mk/pp.mk index bbcb9018f95..aaef946bb29 100644 --- a/mk/pp.mk +++ b/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)