This should have been removed in r10699.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10700
This commit is contained in:
Nicholas Nethercote 2009-08-04 01:08:56 +00:00
parent 9c4252c6a1
commit 0c1733b18a
2 changed files with 0 additions and 10 deletions

View File

@ -36,7 +36,6 @@ dist_noinst_SCRIPTS = \
filter_cmdline0 \
filter_fdleak \
filter_linenos \
filter_long_command \
filter_none_discards \
filter_stderr \
filter_timestamp

View File

@ -1,9 +0,0 @@
#! /bin/sh
dir=`dirname $0`
# We change the "Command:" so it doesn't get stripped out by the standard
# filters.
sed "s/Command:/COMMAND:/" |
./filter_stderr