diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-01-30 18:02:22 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-30 18:02:22 -0800 |
| commit | 986d21a21dc31040269c9ad8ce8b04a96f6d18ee (patch) | |
| tree | c28b19911e6facc6bee97252938b755e9176210e | |
| parent | 991649f01d1c32a6be57e77be64dd83c8787b59f (diff) | |
save build_library logs in each project dir separately
| -rw-r--r-- | tools/shared.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/shared.py b/tools/shared.py index 2b87aaf4..e673cfd3 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -409,10 +409,10 @@ class Building: 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 |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'), - stderr=open(os.path.join(output_dir, 'make_err'), 'w'), env=env) + Building.configure(configure + configure_args, stdout=open(os.path.join(project_dir, 'configure_'), 'w'), + stderr=open(os.path.join(project_dir, 'configure_err'), 'w'), env=env) + Building.make(make + make_args, stdout=open(os.path.join(project_dir, 'make_'), 'w'), + stderr=open(os.path.join(project_dir, 'make_err'), 'w'), env=env) bc_file = os.path.join(project_dir, 'bc.bc') Building.link(generated_libs, bc_file) if cache is not None: |