Remove obsolete patch

2026-01-22 00:35:54 +00:00 · 2016-07-17 23:29:18 +02:00 · 2016-07-17 23:29:18 +02:00 · 73a4609fea
commit 73a4609fea
parent 1b45120636
2 changed files with 0 additions and 12 deletions
--- 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
--- a/debian/patches/valgrind-workaround.diff
+++ b/debian/patches/valgrind-workaround.diff
@ -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);