diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-11-27 15:03:13 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-27 15:03:13 -0800 |
| commit | 845c3d137bdd3df829a1630fd9e7ae55dc71806a (patch) | |
| tree | 09c7811161c155c628cfbea3011dd5f8452135f9 /tools/shared.py | |
| parent | b61f32f98dbedccc518d7dcabbf6f4505020cfee (diff) | |
do not save function JS in memory, print it out and forget it to save memory during compilation
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py index 5b76d2c7..06c69f83 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -177,7 +177,7 @@ class Building: project_dir = os.path.join(temp_dir, name) if os.path.exists(project_dir): shutil.rmtree(project_dir) - shutil.copytree(path_from_root('tests', name), project_dir) # Useful in debugging sometimes to comment this out + shutil.copytree(path_from_root('tests', name), project_dir) # Useful in debugging sometimes to comment this out, and two lines above else: project_dir = build_dir try: @@ -194,7 +194,7 @@ class Building: env = Building.get_building_env() for k, v in env_init.iteritems(): env[k] = v - if configure: # Useful in debugging sometimes to comment this out (and the lines below up to and including the |make| call) + if configure: # Useful in debugging sometimes to comment this out (and the lines below up to and including the |link| call) Building.configure(configure + configure_args, stdout=open(os.path.join(output_dir, 'configure_'), 'w'), stderr=open(os.path.join(output_dir, 'configure_err'), 'w'), env=env) Building.make(make + make_args, stdout=open(os.path.join(output_dir, 'make_'), 'w'), |