diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-13 22:32:27 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-13 22:32:27 (GMT) |
| commit | 21f75f921b4ec7a60423db6be96bd5f65e348e7d (patch) | |
| tree | 1c5b5eee544e55bdd34c1a92c390309cae768d47 /devbot/build.py | |
| parent | 69188385692dd7e93e7eb2010ae3a5119ff6c1c6 (diff) | |
Remove cache configure option
Committed by mistake.
Diffstat (limited to 'devbot/build.py')
| -rw-r--r-- | devbot/build.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devbot/build.py b/devbot/build.py index 197eacf..cc41857 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -107,7 +107,6 @@ def _build_autotools(module, log): configure = os.path.join(module.get_source_dir(), "autogen.sh") args = [configure, - "--cache-file=/tmp/cache-%s" % module.name, "--prefix", config.prefix_dir, "--libdir", config.lib_dir] args.extend(module.options) |