diff options
-rwxr-xr-x | scripts/merge-test-results.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/merge-test-results.sh b/scripts/merge-test-results.sh index 573a44d8cf..1e236db4a7 100755 --- a/scripts/merge-test-results.sh +++ b/scripts/merge-test-results.sh @@ -35,7 +35,12 @@ case $type in subdir=${subdir:+$subdir/} for t in "$@"; do if [ -s "$objpfx$t.test-result" ]; then - head -n1 "$objpfx$t.test-result" + # This loop is called thousands of times even when there's + # nothing to do. Avoid using non-built-in commands (like + # /bin/head) where possible. We assume "echo" is typically a + # built-in. + IFS= read -r line < "$objpfx$t.test-result" + echo "$line" else echo "UNRESOLVED: $subdir$t" fi |