equal
deleted
inserted
replaced
53 if __name__ == '__main__': |
53 if __name__ == '__main__': |
54 options, args = parser.parse_args() |
54 options, args = parser.parse_args() |
55 if options.list_features: |
55 if options.list_features: |
56 list_features() |
56 list_features() |
57 sys.exit(0) |
57 sys.exit(0) |
58 |
58 |
59 quiet = options.quiet |
59 quiet = options.quiet |
60 |
60 |
61 failures = 0 |
61 failures = 0 |
62 |
62 |
63 def error(msg): |
63 def error(msg): |
64 global failures |
64 global failures |
65 if not quiet: |
65 if not quiet: |
66 sys.stderr.write(msg + '\n') |
66 sys.stderr.write(msg + '\n') |
67 failures += 1 |
67 failures += 1 |
68 |
68 |
69 for feature in args: |
69 for feature in args: |
70 if feature not in checks: |
70 if feature not in checks: |
71 error('hghave: unknown feature: ' + feature) |
71 error('hghave: unknown feature: ' + feature) |
72 continue |
72 continue |
73 |
73 |
74 check, desc = checks[feature] |
74 check, desc = checks[feature] |
75 if not check(): |
75 if not check(): |
76 error('hghave: missing feature: ' + desc) |
76 error('hghave: missing feature: ' + desc) |
77 |
77 |
78 if failures != 0: |
78 if failures != 0: |
79 sys.exit(1) |
79 sys.exit(1) |
80 |
80 |
81 |
81 |