diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 18:44:41 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 18:44:41 (GMT) |
| commit | ef962ea9f8ecb4f558bcd1a3a7cd43314a60c22a (patch) | |
| tree | 00175e0089d291ba504d815b9df290228b2f866d | |
| parent | 8a7159325f9111c68b65d6d6cfac20c127afd898 (diff) | |
Skip ragel only on fedora 18
| -rw-r--r-- | config/deps/system.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/deps/system.json b/config/deps/system.json index f423425..7258d53 100644 --- a/config/deps/system.json +++ b/config/deps/system.json @@ -88,7 +88,7 @@ { "check": "ragel", "checker": "binary", - "if": "gnome_version == '3.4'", + "if": "distro == 'fedora-18'", "name": "ragel" }, { |