Fix: sanitizer.log properly copied even if no output.

017b505a · FritzFlorian · a98c9d5f · 017b505a
Commit 017b505a authored 6 years ago by FritzFlorian
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 2 deletions

ci_scripts/run_thread_sanitizer.sh
+4 -2

No files found.
--- 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