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/config.py | |
| parent | ed5cdf0ad28ceec92587af796ff723574a1a71b4 (diff) | |
Add webkit
Diffstat (limited to 'devbot/config.py')
| -rw-r--r-- | devbot/config.py | 3 |
1 files changed, 2 insertions, 1 deletions
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 " |