diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-14 09:06:26 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-14 09:06:26 (GMT) |
commit | ec56e7ec7d9ed7e85b6f97de133e518b7714e657 (patch) | |
tree | 3653d917111cefdedb44b3d364b0926d449f7b09 /devbot | |
parent | 723b162b0a0d5938fd5e33e77cdce778bbdfa159 (diff) | |
parent | 796a972f0862d56c4d60046ca39e4bb1f85b5049 (diff) |
Merge branch 'testing'
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) |