| Diego Trevino Ferrer | 0ffe687 | 2019-08-15 22:54:09 +0000 | [diff] [blame] | 1 | #!/usr/bin/env python |
| 2 | |||||
| 3 | import sys | ||||
| 4 | |||||
| 5 | input = open(sys.argv[1], "r") | ||||
| 6 | for line in input: | ||||
| 7 | if "@interesting = global" in line: | ||||
| 8 | sys.exit(0) | ||||
| 9 | |||||
| 10 | sys.exit(1) # IR isn't interesting | ||||