From: Nicholas Nethercote <njn@valgrind.org>
Date: Tue, 17 Feb 2009 00:32:58 +0000 (+0000)
Subject: Remove unused filter scripts from DRD.
X-Git-Tag: svn/VALGRIND_3_5_0~967
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=41aab1bfa58c0be3b28ea2545d37bbb4094b4d01;p=thirdparty%2Fvalgrind.git

Remove unused filter scripts from DRD.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9187
---

diff --git a/drd/tests/Makefile.am b/drd/tests/Makefile.am
index 12ca592d02..aa82a36a7e 100644
--- a/drd/tests/Makefile.am
+++ b/drd/tests/Makefile.am
@@ -6,11 +6,7 @@ SUBDIRS = .
 DIST_SUBDIRS = .
 
 noinst_SCRIPTS =		\
-	filter_cmdline0		\
 	filter_error_summary	\
-	filter_fdleak		\
-	filter_linenos		\
-	filter_none_discards	\
 	filter_stderr           \
 	run_openmp_test         \
 	supported_libpthread
diff --git a/drd/tests/filter_cmdline0 b/drd/tests/filter_cmdline0
deleted file mode 100644
index 3b56968baf..0000000000
--- a/drd/tests/filter_cmdline0
+++ /dev/null
@@ -1,3 +0,0 @@
-#! /bin/sh
-
-sed "s/^valgrind-.*/valgrind-XXX/g"
diff --git a/drd/tests/filter_fdleak b/drd/tests/filter_fdleak
deleted file mode 100644
index d4ed2325cb..0000000000
--- a/drd/tests/filter_fdleak
+++ /dev/null
@@ -1,12 +0,0 @@
-#! /bin/sh
-
-dir=`dirname $0`
-
-./filter_stderr                    |
-
-sed s/"^Open AF_UNIX socket [0-9]*: <unknown>/Open AF_UNIX socket .: <unknown>/" |
-sed s/"^Open \(AF_UNIX socket\|file descriptor\) [0-9]*: \/dev\/null/Open \\1 .: \/dev\/null/" |
-sed s/"^Open \(AF_UNIX socket\|file descriptor\) [0-9]*: \/tmp\/\(sock\|data1\|data2\|file\)\.[0-9]*/Open \\1 .: \/tmp\/\\2/" |
-sed s/"^Open file descriptor [0-9]*: .*/Open file descriptor .: ./" |
-sed s/"^Open file descriptor [0-9]*:$/Open file descriptor .:/" |
-sed s/"127.0.0.1:[0-9]*/127.0.0.1:.../g"
diff --git a/drd/tests/filter_linenos b/drd/tests/filter_linenos
deleted file mode 100644
index 7e3a2db6ac..0000000000
--- a/drd/tests/filter_linenos
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-dir=`dirname $0`
-
-$dir/filter_stderr | sed "s/ line [0-9]*://"
diff --git a/drd/tests/filter_none_discards b/drd/tests/filter_none_discards
deleted file mode 100644
index dc3242bf7c..0000000000
--- a/drd/tests/filter_none_discards
+++ /dev/null
@@ -1,6 +0,0 @@
-#! /bin/sh
-
-dir=`dirname $0`
-
-$dir/filter_stderr | $dir/../../tests/filter_discards
-