diff options
Diffstat (limited to 'config/deps/system.json')
| -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" }, { |