Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #5200 : mbrubeck/servo/cache-dir, r=larsbergstrom

Browse source 
This will be set in servo/saltfs to prevent our buildbot builders from re-downloading the build tools for every build.

r? @larsbergstrom or @metajack or @Manishearth
This commit is contained in:
bors-servo 2015-03-19 13:57:52 -06:00
commit 82f70c5d50
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python/servo/command_base.py
View file

@ -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",