diff options
| -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) |