diff options
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: |