diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 2fc894d0..e46b10b9 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -20,7 +20,9 @@ if '\n' in EM_CONFIG: else: CONFIG_FILE = os.path.expanduser(EM_CONFIG) if not os.path.exists(CONFIG_FILE): - shutil.copy(path_from_root('tools', 'settings_template_readonly.py'), CONFIG_FILE) + config_file = open(path_from_root('tools', 'settings_template_readonly.py')).read().split('\n') + config_file = config_file[1:] # remove "this file will be copied..." + open(CONFIG_FILE, 'w').write('\n'.join(config_file)) print >> sys.stderr, ''' ============================================================================== Welcome to Emscripten! |