fix filename
This commit is contained in:
parent
de6150c121
commit
9cc6ccd98d
1 changed files with 1 additions and 1 deletions
|
@ -32,7 +32,7 @@ set -e
|
||||||
echo "ninja ${CMD} completed ======================================"
|
echo "ninja ${CMD} completed ======================================"
|
||||||
if test -f "test-results.xml" ; then
|
if test -f "test-results.xml" ; then
|
||||||
echo "copying test_results.xml to ${TARGET_DIR}"
|
echo "copying test_results.xml to ${TARGET_DIR}"
|
||||||
du "test_results.xml"
|
du "test-results.xml"
|
||||||
cp test-results.xml "${TARGET_DIR}"
|
cp test-results.xml "${TARGET_DIR}"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue