diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 19:56:24 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 19:56:24 (GMT) |
commit | bb21e74a38f31c05913cffe80fd996c48803249b (patch) | |
tree | 29891a47ca03f7d4272bb328098d331e2db1f726 /devbot | |
parent | 4ce76be4be0ad1b3561d5b6319bc1fff5a1c50c8 (diff) |
Always autogen clean builds
Slower but safer
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/build.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/devbot/build.py b/devbot/build.py index 6a4d553..2e9ee44 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -115,9 +115,7 @@ def _build_autotools(module, log): makefile_path = os.path.join(module.get_build_dir(), "Makefile") if not os.path.exists(makefile_path): - 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") + configure = os.path.join(module.get_source_dir(), "autogen.sh") args = [configure, "--prefix", config.prefix_dir, |