diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-09-24 14:06:53 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-09-24 14:16:48 -0700 |
| commit | b138f0d293a32a7d7159c201281ff8f383491cca (patch) | |
| tree | 2771cd20b8be1d11d2e7382e2efd1e1b11ead187 /tools | |
| parent | 8f40148905b6ad2897ae119f83e9bbba6a9e82b0 (diff) | |
commented option to add verbose logging to make
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 9f51f008..6595ee7c 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -513,6 +513,7 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e def make(args, stdout=None, stderr=None, env=None): if env is None: env = Building.get_building_env() + #args += ['VERBOSE=1'] Popen(args, stdout=stdout, stderr=stderr, env=env).communicate() @staticmethod |