]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Remove unused filter scripts from DRD.
authorNicholas Nethercote <njn@valgrind.org>
Tue, 17 Feb 2009 00:32:58 +0000 (00:32 +0000)
committerNicholas Nethercote <njn@valgrind.org>
Tue, 17 Feb 2009 00:32:58 +0000 (00:32 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9187

drd/tests/Makefile.am
drd/tests/filter_cmdline0 [deleted file]
drd/tests/filter_fdleak [deleted file]
drd/tests/filter_linenos [deleted file]
drd/tests/filter_none_discards [deleted file]

index 12ca592d024c6670e2c5f9103794661e06d91397..aa82a36a7efc2f6819f308396212f22773b9e278 100644 (file)
@@ -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 (file)
index 3b56968..0000000
+++ /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 (file)
index d4ed232..0000000
+++ /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 (file)
index 7e3a2db..0000000
+++ /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 (file)
index dc3242b..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-#! /bin/sh
-
-dir=`dirname $0`
-
-$dir/filter_stderr | $dir/../../tests/filter_discards
-