Searched refs:write_define (Results 1 – 1 of 1) sorted by relevance
155 def write_define(opsys, define, defines, makefile): function225 write_define(opsys, "FREERTOS_PLUS_TCP", defines, _makefile)226 write_define(opsys, "PROOFS", defines, _makefile)
