diff options
Diffstat (limited to 'dev-util/valgrind/files/valgrind-3.7.0-respect-flags.patch')
| -rw-r--r-- | dev-util/valgrind/files/valgrind-3.7.0-respect-flags.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-util/valgrind/files/valgrind-3.7.0-respect-flags.patch b/dev-util/valgrind/files/valgrind-3.7.0-respect-flags.patch deleted file mode 100644 index 860e09c8..00000000 --- a/dev-util/valgrind/files/valgrind-3.7.0-respect-flags.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff -Naur valgrind-3.7.0.orig//mpi/Makefile.am valgrind-3.7.0/mpi/Makefile.am ---- valgrind-3.7.0.orig//mpi/Makefile.am 2011-10-26 17:24:23.000000000 -0400 -+++ valgrind-3.7.0/mpi/Makefile.am 2011-11-10 16:03:14.000000000 -0500 -@@ -7,9 +7,6 @@ - CC = $(MPI_CC) - DEFS = - DEFAULT_INCLUDES = --CPPFLAGS = --CFLAGS = --LDFLAGS = - - EXTRA_DIST = \ - mpiwrap_type_test.c |