From a7e187b41027c954bf59f8f8c6048538048a988b Mon Sep 17 00:00:00 2001 From: "r.kuznetsov" Date: Tue, 25 Apr 2017 15:14:10 +0300 Subject: [PATCH] Fixes generation script --- tools/python/generate_local_ads_symbols.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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')