diff options
author | Khaled Hosny <khaledhosny@eglug.org> | 2018-02-16 20:22:52 +0200 |
---|---|---|
committer | Khaled Hosny <khaledhosny@eglug.org> | 2018-02-16 22:01:33 +0200 |
commit | 4eff0fc5b87084765ac2e36ba9f09d7d257f32fb (patch) | |
tree | 18b0a452b19653851c7a333b28370cf84d1c5857 /.ci | |
parent | f8077c97909778c117d37773c9da570d831dacd2 (diff) |
Make this work for old versions of automake
Diffstat (limited to '.ci')
-rwxr-xr-x | .ci/fail.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/fail.sh b/.ci/fail.sh index c4687108..91701d33 100755 --- a/.ci/fail.sh +++ b/.ci/fail.sh @@ -1,7 +1,8 @@ #!/bin/bash for f in $(find . -name '*.log' -not -name 'config.log'); do - if [[ $(tail -1 $f) = FAIL* ]]; then + last=$(tail -1 $f) + if [[ $last = FAIL* || $last = *failed* ]]; then echo '====' $f '====' cat $f fi |