| 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.
|
|
|
|
|