| changeset 5143 | fc6106267198 |
| parent 5135 | bf60e4bd6672 |
| child 5144 | 6e040f6c2c9c |
| 5135:bf60e4bd6672 | 5143:fc6106267198 |
|---|---|
71 |
71 |
72 for feature in args: |
72 for feature in args: |
73 negate = feature.startswith('no-') |
73 negate = feature.startswith('no-') |
74 if negate: |
74 if negate: |
75 feature = feature[3:] |
75 feature = feature[3:] |
76 |
76 |
77 if feature not in checks: |
77 if feature not in checks: |
78 error('hghave: unknown feature: ' + feature) |
78 error('hghave: unknown feature: ' + feature) |
79 continue |
79 continue |
80 |
80 |
81 check, desc = checks[feature] |
81 check, desc = checks[feature] |