(val)
| 558 | _global_error_suppressions = {} |
| 559 | |
| 560 | def ProcessHppHeadersOption(val): |
| 561 | global _hpp_headers |
| 562 | try: |
| 563 | _hpp_headers = set(val.split(',')) |
| 564 | # Automatically append to extensions list so it does not have to be set 2 times |
| 565 | _valid_extensions.update(_hpp_headers) |
| 566 | except ValueError: |
| 567 | PrintUsage('Header extensions must be comma seperated list.') |
| 568 | |
| 569 | def IsHeaderExtension(file_extension): |
| 570 | return file_extension in _hpp_headers |
no test coverage detected