diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-23 15:04:40 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-23 15:04:40 (GMT) |
commit | ded6d3404d56261e986d072cdfe71442b2e8c50d (patch) | |
tree | 5779590393fd0c77f80a006b99e1785cf2cab0ef | |
parent | 0536be089999279b2c8ad9fc285c8534582b24e2 (diff) |
Make sure global system_lib_dir is set
-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 |