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