diff options
| author | r.kuznetsov <r.kuznetsov@corp.mail.ru> | 2017-04-25 15:14:10 +0300 |
|---|---|---|
| committer | r.kuznetsov <r.kuznetsov@corp.mail.ru> | 2017-05-19 15:02:26 +0300 |
| commit | a7e187b41027c954bf59f8f8c6048538048a988b (patch) | |
| tree | 464f7522b1a9f45639f76455b0a2fc5e60b8fe45 /tools | |
| parent | e613a0e775c9f5e163304d790c6bdca5bdfe0709 (diff) | |
Fixes generation script
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/python/generate_local_ads_symbols.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/python/generate_local_ads_symbols.py b/tools/python/generate_local_ads_symbols.py index 1aab9048dc..31f39485d4 100755 --- a/tools/python/generate_local_ads_symbols.py +++ b/tools/python/generate_local_ads_symbols.py @@ -59,4 +59,4 @@ if __name__ == '__main__': check_symbols(symbols) with open(output_name, "w") as text_file: for symbol in symbols: - text_file.write(symbol) + text_file.write(symbol + '\n') |