Searched refs:opsys (Results 1 – 1 of 1) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | make_common_makefile.py | 67 def patch_path_separator(opsys, string): argument
69 to_separator = platform_definitions[opsys]["separator"]
80 def patch_compile_output(opsys, line, key, value): argument
81 if opsys != "windows":
143 def construct_definition(opsys, key_prefix, value_prefix, key, definitions): argument
148 values = [patch_path_separator(opsys, value)
155 def write_define(opsys, define, defines, makefile): argument
162 def write_common_defines(opsys, defines, makefile): argument
169 for value_prefix, key in zip([platform_definitions[opsys]["include"],
170 platform_definitions[opsys]["define"],
[all …]
|
