Always print error lines to make GitHub logs more readable

2020-06-30 00:44:27 -04:00 · 2020-06-30 00:44:27 -04:00 · 13f411d9fa
parent 1df7c0be12
commit 13f411d9fa
1 changed files with 1 additions and 2 deletions
--- a/travis/script-syntax.py
+++ b/travis/script-syntax.py
@ -18,7 +18,6 @@ def print_stderr(stderr, args):
            if parts[i].endswith('.' + args.ext) and parts[i + 1].isdigit():
                print('::error file=%s,line=%s::%s' % (parts[i], parts[i + 1], ':'.join(parts[i + 2:])))
                break
-        else:
        print(line)