diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-13 22:04:18 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-13 22:04:18 (GMT) |
commit | 69188385692dd7e93e7eb2010ae3a5119ff6c1c6 (patch) | |
tree | e6759e1daa6a7106d5de74ebf6f33f4f0236a58b | |
parent | 0eaf584a3047f2cea57adedc9126116a84d06d51 (diff) |
Just run configure if it exists
-rw-r--r-- | devbot/build.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/devbot/build.py b/devbot/build.py index 99d9f8d..197eacf 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -102,9 +102,12 @@ def _build_autotools(module, log): makefile_path = os.path.join(module.get_build_dir(), "Makefile") if not os.path.exists(makefile_path): - autogen = os.path.join(module.get_source_dir(), "autogen.sh") + configure = os.path.join(module.get_source_dir(), "configure") + if not os.path.exists(configure): + configure = os.path.join(module.get_source_dir(), "autogen.sh") - args = [autogen, + args = [configure, + "--cache-file=/tmp/cache-%s" % module.name, "--prefix", config.prefix_dir, "--libdir", config.lib_dir] args.extend(module.options) |