(val)
| 574 | _global_error_suppressions = {} |
| 575 | |
| 576 | def ProcessHppHeadersOption(val): |
| 577 | global _hpp_headers |
| 578 | try: |
| 579 | _hpp_headers = set(val.split(',')) |
| 580 | # Automatically append to extensions list so it does not have to be set 2 times |
| 581 | _valid_extensions.update(_hpp_headers) |
| 582 | except ValueError: |
| 583 | PrintUsage('Header extensions must be comma separated list.') |
| 584 | |
| 585 | def IsHeaderExtension(file_extension): |
| 586 | return file_extension in _hpp_headers |
no test coverage detected