| Index: site_config/config_default.py
|
| diff --git a/site_config/config_default.py b/site_config/config_default.py
|
| index 110836bdff1145a3a40059a98b3bd61ed6fdd442..e219ca032e4cb0e7920b8a6b472b016475dbb3ce 100644
|
| --- a/site_config/config_default.py
|
| +++ b/site_config/config_default.py
|
| @@ -28,6 +28,7 @@ class Master(object):
|
| o3d_url_internal = None
|
| nacl_trunk_url_internal = None
|
| nacl_url_internal = None
|
| + syzygy_url = None
|
|
|
| # Actually for Chromium OS slaves.
|
| chromeos_url = git_server_url + '/chromiumos.git'
|
|
|