debian/patches/valgrind-workaround.diff

   1 diff --git a/src/test/run-pass-valgrind/down-with-thread-dtors.rs b/src/test/run-pass-valgrind/down-with-thread-dtors.rs
   2 index 5c449d5..0bf10c6 100644
   3 --- a/src/test/run-pass-valgrind/down-with-thread-dtors.rs
   4 +++ b/src/test/run-pass-valgrind/down-with-thread-dtors.rs
   5 @@ -8,6 +8,8 @@
   6  // option. This file may not be copied, modified, or distributed
   7  // except according to those terms.
   8
   9 +// no-prefer-dynamic
  10 +
  11  thread_local!(static FOO: Foo = Foo);
  12  thread_local!(static BAR: Bar = Bar(1));
  13  thread_local!(static BAZ: Baz = Baz);