From 017b505a24c0bd04a28749577e5466c48f7dc400 Mon Sep 17 00:00:00 2001
From: FritzFlorian <flo.fritz@t-online.de>
Date: Tue, 19 Mar 2019 20:22:19 +0100
Subject: [PATCH] Fix: sanitizer.log properly copied even if no output.

---
 ci_scripts/run_thread_sanitizer.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ci_scripts/run_thread_sanitizer.sh b/ci_scripts/run_thread_sanitizer.sh
index 9d27b4d..7792d82 100755
--- a/ci_scripts/run_thread_sanitizer.sh
+++ b/ci_scripts/run_thread_sanitizer.sh
@@ -10,7 +10,9 @@ TSAN_OPTIONS="log_path=sanitizer.log exitcode=1" ./bin/tests
 STATUS_CODE=$?
 
 # rename the output log...
-mv sanitizer.log.* ../sanitizer.log
-touch sanitizer.log
+mv ./sanitizer.log.* ../sanitizer.log
+if [[ $? != 0 ]]; then
+    echo "No sanitizer warnings." > ../sanitizer.log
+fi
 
 exit $STATUS_CODE
--
libgit2 0.26.0