From 73a4609feacea482db2dea0fd804155e9659ef8d Mon Sep 17 00:00:00 2001 From: Ximin Luo Date: Sun, 17 Jul 2016 23:29:18 +0200 Subject: [PATCH] Remove obsolete patch --- debian/patches/series | 1 - debian/patches/valgrind-workaround.diff | 11 ----------- 2 files changed, 12 deletions(-) delete mode 100644 debian/patches/valgrind-workaround.diff diff --git a/debian/patches/series b/debian/patches/series index eac2cfd01e..aef01bf57d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,7 +1,6 @@ rust-gdb-paths rust-lldb-paths add-soname -valgrind-workaround.diff fix-debian-cmake-path.diff avoid-redundant-dls.diff dont-download-stage0.diff diff --git a/debian/patches/valgrind-workaround.diff b/debian/patches/valgrind-workaround.diff deleted file mode 100644 index 12e36bd015..0000000000 --- a/debian/patches/valgrind-workaround.diff +++ /dev/null @@ -1,11 +0,0 @@ ---- a/src/test/run-pass-valgrind/down-with-thread-dtors.rs -+++ b/src/test/run-pass-valgrind/down-with-thread-dtors.rs -@@ -10,6 +10,8 @@ - - // no-prefer-dynamic - -+// no-prefer-dynamic -+ - thread_local!(static FOO: Foo = Foo); - thread_local!(static BAR: Bar = Bar(1)); - thread_local!(static BAZ: Baz = Baz);