diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2014-07-28 18:27:17 +0200 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2014-07-28 18:34:16 +0200 |
commit | d554d004a67c30e3f38bec51b2c691cfe3af3bb8 (patch) | |
tree | 9ca49c5ea489d39f6eaf9ad33b1b43e5ba11684e /tests/fate.sh | |
parent | f3158c3f29cd24cf50a02b58201ec2cf149b51e5 (diff) | |
download | ffmpeg-d554d004a67c30e3f38bec51b2c691cfe3af3bb8.tar.gz |
tests/fate.sh: If cat *.rep fails try it with a for loop.
Fixes fate on haiku, where cat dies due to too many arguments
xargs could be used too but we do not use xargs currently so it
would be an additional dependency.
Also the plain cat is left in place as it is faster than the loop
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'tests/fate.sh')
-rwxr-xr-x | tests/fate.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/fate.sh b/tests/fate.sh index a1a7e350d0..5a78018b42 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -85,7 +85,8 @@ report(){ date=$(date -u +%Y%m%d%H%M%S) echo "fate:0:${date}:${slot}:${version}:$1:$2:${comment}" >report # echo "fate:1:${date}:${slot}:${version}:$1:$2:${branch}:${comment}" >report - cat ${build}/config.fate ${build}/tests/data/fate/*.rep >>report + cat ${build}/config.fate >>report + cat ${build}/tests/data/fate/*.rep >>report || for i in ${build}/tests/data/fate/*.rep ; do cat "$i" >>report ; done test -n "$fate_recv" && $tar report *.log | gzip | $fate_recv } |