diff options
-rw-r--r-- | devbot/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/config.py b/devbot/config.py index f0dd30c..8fbb930 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -46,6 +46,7 @@ def set_logs_dir(dir): logs_dir = dir def set_install_dir(dir): + global system_lib_dir global install_dir global devbot_dir global share_dir |