Index: client/common_lib/utils.py |
diff --git a/client/common_lib/utils.py b/client/common_lib/utils.py |
index 6ca33facaf80a1eda5b772c74979e454265097a0..fd6f633586ea0d9493eed158ddf74c6985efb878 100644 |
--- a/client/common_lib/utils.py |
+++ b/client/common_lib/utils.py |
@@ -1165,6 +1165,16 @@ def configure(extra=None, configure='./configure'): |
system('%s %s' % (configure, ' '.join(args))) |
+def make(extra='', make='make', timeout=None, ignore_status=False): |
+ """ |
+ Run make, adding MAKEOPTS to the list of options. |
+ |
+ @param extra: extra command line arguments to pass to make. |
+ """ |
+ cmd = '%s %s %s' % (make, os.environ.get("MAKEOPTS", ""), extra) |
+ return system(cmd, timeout=timeout, ignore_status=ignore_status) |
+ |
+ |
def compare_versions(ver1, ver2): |
"""Version number comparison between ver1 and ver2 strings. |