aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-09-24 14:06:53 -0700
committerAlon Zakai <alonzakai@gmail.com>2012-09-24 14:16:48 -0700
commitb138f0d293a32a7d7159c201281ff8f383491cca (patch)
tree2771cd20b8be1d11d2e7382e2efd1e1b11ead187
parent8f40148905b6ad2897ae119f83e9bbba6a9e82b0 (diff)
commented option to add verbose logging to make
-rw-r--r--tools/shared.py1
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