From 69188385692dd7e93e7eb2010ae3a5119ff6c1c6 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Thu, 13 Dec 2012 22:04:18 +0000
Subject: Just run configure if it exists

---
(limited to 'devbot')

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)
--
cgit v0.9.1