Function write_file

tools/maint/create_entry_points.py:81–83

(filename, content)

def write_file(filename, content):
  with open(filename, 'w', encoding='utf-8') as f:
    f.write(content)


def main(all_platforms, use_bat_file):