blob: 1d726c4e9ee750dbc867877357ac515b10bd6dad [file] [log] [blame]
Diego Trevino Ferrerddc64eb2019-08-08 22:16:33 +00001
2import sys
3
4input = open(sys.argv[1], "r")
5for line in input:
6 if "@interesting" in line:
7 sys.exit(0)
8
9sys.exit(1) # IR isn't interesting