From 9d4bcf514ae2a6f68f5b9ce28cb35addd65cf1f7 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Sat, 01 Dec 2012 17:22:11 +0000
Subject: Build gnome-keyring with XDG_HOME_DATA support

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

diff --git a/devbot/config.py b/devbot/config.py
index 4c04a56..284e9a8 100644
--- a/devbot/config.py
+++ b/devbot/config.py
@@ -36,6 +36,7 @@ class Module:
         self.tag = info.get("tag", None)
         self.auto_install = info.get("auto-install", False)
         self.options = info.get("options", [])
+        self.options_evaluated = info.get("options_evaluated", [])
 
         if get_pref("BUILD_IN_SOURCE"):
             self.out_of_source = False
--
cgit v0.9.1