equal
deleted
inserted
replaced
797 if isinstance(r, str): |
797 if isinstance(r, str): |
798 if r == '+glob': |
798 if r == '+glob': |
799 lout = el[:-1] + ' (glob)\n' |
799 lout = el[:-1] + ' (glob)\n' |
800 r = 0 # warn only |
800 r = 0 # warn only |
801 elif r == '-glob': |
801 elif r == '-glob': |
802 log('\ninfo, unnecessary glob in %s (after line %d):' |
802 lout = ''.join(el.rsplit(' (glob)', 1)) |
803 ' %s (glob)\n' % (test, pos, el[:-1])) |
803 r = 0 # warn only |
804 r = True # pass on unnecessary glob |
|
805 else: |
804 else: |
806 log('\ninfo, unknown linematch result: %r\n' % r) |
805 log('\ninfo, unknown linematch result: %r\n' % r) |
807 r = False |
806 r = False |
808 if r: |
807 if r: |
809 postout.append(" " + el) |
808 postout.append(" " + el) |