(val)
| 1070 | |
| 1071 | |
| 1072 | def ProcessHppHeadersOption(val): |
| 1073 | global _hpp_headers |
| 1074 | try: |
| 1075 | _hpp_headers = {ext.strip() for ext in val.split(",")} |
| 1076 | except ValueError: |
| 1077 | PrintUsage("Header extensions must be comma separated list.") |
| 1078 | |
| 1079 | |
| 1080 | def ProcessIncludeOrderOption(val): |
no test coverage detected
searching dependent graphs…