From 47fec7f016d13ee8697f18c470321bc88673f68d Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 13 Jul 2016 15:24:11 +0200
Subject: [PATCH] Crude hack to ignore cruft from Java on Windows

---
 tools/tesh/tesh.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/tesh/tesh.pl b/tools/tesh/tesh.pl
index b238b4de62..6867c3a232 100755
--- a/tools/tesh/tesh.pl
+++ b/tools/tesh/tesh.pl
@@ -430,7 +430,8 @@ sub analyze_result {
         print $diff_tool_tmp_fh "> $got\n" if ($diff_tool);
 
         unless (( $enable_coverage and $got =~ /^profiling:/ ) or
-            ( $enable_sanitizers and $got =~ m/WARNING: ASan doesn't fully support/))
+            ( $enable_sanitizers and $got =~ m/WARNING: ASan doesn't fully support/) or
+            ( $got =~ m/Unable to clean temporary file C:/)) # Crude hack to ignore cruft from Java on Windows
         {
             push @got, $got;
         } 
-- 
2.20.1