diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 00:22:52 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 00:22:52 (GMT) |
commit | e68ee4961e03392c93a3c01bf7d9ee43d857feaf (patch) | |
tree | 92900d4970f5495e3684bfd22c42679f62b50ca4 /devbot | |
parent | ed5cdf0ad28ceec92587af796ff723574a1a71b4 (diff) |
Add webkit
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/build.py | 2 | ||||
-rw-r--r-- | devbot/config.py | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/devbot/build.py b/devbot/build.py index 211cc88..65a317d 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -137,6 +137,8 @@ def _build_autotools(module, log): if not os.path.exists(makefile_path): configure = os.path.join(module.get_source_dir(), "autogen.sh") + if not os.path.exists(configure): + configure = os.path.join(module.get_source_dir(), "configure") args = [configure, "--prefix", config.prefix_dir, diff --git a/devbot/config.py b/devbot/config.py index d444869..d27a0cf 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -52,7 +52,8 @@ class Module: source_dir = self.get_source_dir() if os.path.exists(os.path.join(source_dir, "setup.py")): return "activity" - elif os.path.exists(os.path.join(source_dir, "autogen.sh")): + elif os.path.exists(os.path.join(source_dir, "autogen.sh")) or \ + os.path.exists(os.path.join(source_dir, "configure")): return "autotools" else: print("The source directory has unexpected content, please " |