From 9cc6ccd98dbabed0c0a05610c77de89e153a9057 Mon Sep 17 00:00:00 2001
From: Mikhail Goncharov <goncharov.mikhail@gmail.com>
Date: Thu, 6 Feb 2020 12:02:09 +0100
Subject: [PATCH] fix filename

---
 scripts/run_ninja.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/run_ninja.sh b/scripts/run_ninja.sh
index c504e21..e1420ad 100755
--- a/scripts/run_ninja.sh
+++ b/scripts/run_ninja.sh
@@ -32,7 +32,7 @@ set -e
 echo "ninja ${CMD} completed ======================================"
 if test -f "test-results.xml" ; then
   echo "copying test_results.xml to ${TARGET_DIR}"
-  du "test_results.xml"
+  du "test-results.xml"
   cp test-results.xml "${TARGET_DIR}"
 fi