Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/devbot/config.py
diff options
context:
space:
mode:
Diffstat (limited to 'devbot/config.py')
-rw-r--r--devbot/config.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/devbot/config.py b/devbot/config.py
index fe96f17..73cad0c 100644
--- a/devbot/config.py
+++ b/devbot/config.py
@@ -182,7 +182,8 @@ def _filter_if(item):
distro_info = distro.get_distro_info()
globals = {"gstreamer_version": distro_info.gstreamer_version,
- "gnome_version": distro_info.gnome_version}
+ "gnome_version": distro_info.gnome_version,
+ "distro": "%s-%s" % (distro_info.name, distro_info.version)}
return eval(item["if"], globals)