diff options
author | David Lechner <david@lechnology.com> | 2020-03-26 23:26:18 -0500 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2020-03-28 13:29:54 +1100 |
commit | 6c77d5c7cd1ddfd35fe5932e91c09881ac49d79b (patch) | |
tree | dacc34f60219dd4c5d9b05ad9c110b638ec675aa | |
parent | 0608fbff29fab758fa9cee67e9a485e695e5d1f7 (diff) |
travis: Use grep with --text on qemu-arm output.
If the .out file contains non-text characters, grep won't show the output
unless we ask nicely.
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index d43bca940..c1659f856 100644 --- a/.travis.yml +++ b/.travis.yml @@ -75,7 +75,7 @@ jobs: - make ${MAKEOPTS} -C mpy-cross - make ${MAKEOPTS} -C ports/qemu-arm -f Makefile.test test after_failure: - - grep "FAIL" ports/qemu-arm/build/console.out + - grep --text "FAIL" ports/qemu-arm/build/console.out # unix coverage - stage: test |