diff options
| -rw-r--r-- | python/servo/command_base.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index b8474c85044..9f1c96c57f6 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -69,8 +69,9 @@ class CommandBase(object): # Handle missing/default items self.config.setdefault("tools", {}) - self.config["tools"].setdefault("cache-dir", - path.join(context.topdir, ".servo")) + default_cache_dir = os.environ.get("SERVO_CACHE_DIR", + path.join(context.topdir, ".servo")) + self.config["tools"].setdefault("cache-dir", default_cache_dir) resolverelative("tools", "cache-dir") self.config["tools"].setdefault("cargo-home-dir", |