(val)
| 1039 | |
| 1040 | |
| 1041 | def ProcessHppHeadersOption(val): |
| 1042 | global _hpp_headers |
| 1043 | try: |
| 1044 | _hpp_headers = {ext.strip() for ext in val.split(",")} |
| 1045 | except ValueError: |
| 1046 | PrintUsage("Header extensions must be comma separated list.") |
| 1047 | |
| 1048 | |
| 1049 | def ProcessIncludeOrderOption(val): |
no test coverage detected