diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-13 22:04:02 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-13 22:04:02 (GMT) |
| commit | 0eaf584a3047f2cea57adedc9126116a84d06d51 (patch) | |
| tree | b032c8a01b6031bab15e9ba4a736db69c2f266f7 /devbot/environ.py | |
| parent | 5d72254eece7b425b73b17a23dae46e6fdb902f6 (diff) | |
Use ccache to speed up rebuilds
Diffstat (limited to 'devbot/environ.py')
| -rw-r--r-- | devbot/environ.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/environ.py b/devbot/environ.py index b9c0238..a2ac610 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -68,6 +68,7 @@ def _setup_variables(): os.environ["GTK_PATH"] = os.path.join(config.lib_dir, "gtk-2.0") os.environ["XDG_DATA_HOME"] = os.path.join(config.home_dir, "data") os.environ["XDG_CONFIG_HOME"] = os.path.join(config.home_dir, "config") + os.environ["CC"] = "ccache gcc" profile = config.get_pref("PROFILE") if profile is not None: |