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 | |
parent | 12ad0677b4a81152339e55e60464bc76b450e4db (diff) | |
download | ffmpeg-streaming-20e1829dad73b5093d95fc7d45776d40b2705635.zip ffmpeg-streaming-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.
-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 617a726..e04c871 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -70,7 +70,7 @@ fate()( ) clean(){ - rm -r ${build} ${inst} + rm -rf ${build} ${inst} } report(){ |