File indexing completed on 2025-02-16 05:12:09
0001 def defs_to_string(defs): 0002 return " ".join(['-D{0}="{1}"'.format(k, v) for k, v in defs.items()]) 0003 0004 0005 def join_arguments(args): 0006 return " ".join(filter(None, args))
File indexing completed on 2025-02-16 05:12:09
0001 def defs_to_string(defs): 0002 return " ".join(['-D{0}="{1}"'.format(k, v) for k, v in defs.items()]) 0003 0004 0005 def join_arguments(args): 0006 return " ".join(filter(None, args))