diff options
author | Diego Biurrun <diego@biurrun.de> | 2011-09-20 17:09:45 +0200 |
---|---|---|
committer | Diego Biurrun <diego@biurrun.de> | 2011-09-22 17:39:30 +0200 |
commit | 20e1829dad73b5093d95fc7d45776d40b2705635 (patch) | |
tree | e773efd4f9b239c7512bbb3817c532869a110caf /tests/fate.sh | |
parent | 12ad0677b4a81152339e55e60464bc76b450e4db (diff) | |
download | ffmpeg-20e1829dad73b5093d95fc7d45776d40b2705635.tar.gz |
fate.sh: Ignore errors from rm command during cleanup.
The install directory being deleted might not be present if the build failed.
This can lead to annoying error output if the FATE client is run as a cronjob.
Diffstat (limited to 'tests/fate.sh')
-rwxr-xr-x | tests/fate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fate.sh b/tests/fate.sh index 617a726d95..e04c8710d7 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -70,7 +70,7 @@ fate()( ) clean(){ - rm -r ${build} ${inst} + rm -rf ${build} ${inst} } report(){ |