diff options
Diffstat (limited to 'lang/mono/files/patch-mono_profiler_ptestrunner.pl')
| -rw-r--r-- | lang/mono/files/patch-mono_profiler_ptestrunner.pl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/mono/files/patch-mono_profiler_ptestrunner.pl b/lang/mono/files/patch-mono_profiler_ptestrunner.pl deleted file mode 100644 index 7a31edfc7d2c..000000000000 --- a/lang/mono/files/patch-mono_profiler_ptestrunner.pl +++ /dev/null @@ -1,11 +0,0 @@ ---- mono/profiler/ptestrunner.pl.orig 2017-07-20 18:10:59 UTC -+++ mono/profiler/ptestrunner.pl -@@ -103,8 +103,6 @@ check_alloc_traces ($report, - ); - report_errors (); - --emit_nunit_report(); -- - exit ($global_errors ? 1 : 0); - - # utility functions |