diff options
Diffstat (limited to 'devbot')
| -rw-r--r-- | devbot/config.py | 5 | ||||
| -rw-r--r-- | devbot/environ.py | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/devbot/config.py b/devbot/config.py index 37f733d..248eab7 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -4,6 +4,7 @@ import os from devbot import distro config_dir = None +commands_dir = None install_dir = None source_dir = None build_dir = None @@ -50,6 +51,10 @@ def set_build_dir(dir): global build_dir build_dir = dir +def set_commands_dir(dir): + global commands_dir + commands_dir = dir + def load_packages(): return _load_deps_json("packages-%s" % distro.get_system_version()) diff --git a/devbot/environ.py b/devbot/environ.py index d18370d..d4c143c 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -21,6 +21,7 @@ def _add_path(name, path): def _setup_variables(): _add_path("LD_LIBRARY_PATH", config.lib_dir) _add_path("PATH", config.bin_dir) + _add_path("PATH", config.commands_dir) _add_path("GIO_EXTRA_MODULES", os.path.join(config.system_lib_dir, "gio", "modules")) |