From 9ced953b129905a4a80a897001dc29b8d010d3e8 Mon Sep 17 00:00:00 2001 From: Leah Hanson Date: Mon, 21 Oct 2013 06:13:47 -0500 Subject: [PATCH] Remove rusti reference from pp.mk --- mk/pp.mk | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mk/pp.mk b/mk/pp.mk index f86bbb7f281..d02733d1747 100644 --- a/mk/pp.mk +++ b/mk/pp.mk @@ -1,4 +1,4 @@ -# Copyright 2012 The Rust Project Developers. See the COPYRIGHT +# Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT # file at the top-level directory of this distribution and at # http://rust-lang.org/COPYRIGHT. # @@ -18,7 +18,6 @@ else $(wildcard $(S)src/test/*/*.rs \ $(S)src/test/*/*/*.rs) \ $(wildcard $(S)src/rustpkg/*.rs) \ - $(wildcard $(S)src/rusti/*.rs) \ $(wildcard $(S)src/rust/*.rs) PP_INPUTS_FILTERED = $(shell echo $(PP_INPUTS) | xargs grep -L \