valgrind: Apply upstream patch for Makefile race in coregrind

2018-11-27 12:45:59 +01:00
parent a5de78b7d7
commit a067e883b1
2 changed files with 43 additions and 0 deletions
@@ -8,6 +8,8 @@ stdenv.mkDerivation rec {
    sha256 = "19ds42jwd89zrsjb94g7gizkkzipn8xik3xykrpcqxylxyzi2z03";
  };

+  patches = [ ./coregrind-makefile-race.patch ];
+
  outputs = [ "out" "dev" "man" "doc" ];

  hardeningDisable = [ "stackprotector" ];