diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-12 19:59:55 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-12 19:59:55 (GMT) |
| commit | bf7650c0c59d7e102e1a4188e977efc47087c48a (patch) | |
| tree | 7df7e81554fdeb813e819cfc707899bfd84c28b8 | |
| parent | 65942dd40955a2298c85db3cbc24c82482cbfe30 (diff) | |
Actually expose the distro var
| -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) |