diff options
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/config.py | 3 |
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) |