From ded6d3404d56261e986d072cdfe71442b2e8c50d Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Fri, 23 Nov 2012 15:04:40 +0000
Subject: Make sure global system_lib_dir is set

---
(limited to 'devbot/config.py')

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
--
cgit v0.9.1