Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-21 15:49:04 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add an environment variable to override cache-dir

Browse source 
This will be set in servo/saltfs to prevent our buildbot builders from
re-downloading the build tools for every build.
This commit is contained in:
Matt Brubeck 2015-03-11 15:07:28 -07:00
parent 7b6e314df1
commit 4641640d14
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/servo/command_base.py
View file

@ -69,8 +69,9 @@ class CommandBase(object):
# Handle missing/default items # Handle missing/default items
self.config.setdefault("tools", {}) self.config.setdefault("tools", {})
self.config["tools"].setdefault("cache-dir", default_cache_dir = os.environ.get("SERVO_CACHE_DIR",
path.join(context.topdir, ".servo")) path.join(context.topdir, ".servo"))
self.config["tools"].setdefault("cache-dir", default_cache_dir)
resolverelative("tools", "cache-dir") resolverelative("tools", "cache-dir")
self.config["tools"].setdefault("cargo-home-dir", self.config["tools"].setdefault("cargo-home-dir",