From ef962ea9f8ecb4f558bcd1a3a7cd43314a60c22a Mon Sep 17 00:00:00 2001 From: Daniel Narvaez Date: Tue, 23 Apr 2013 18:44:41 +0000 Subject: Skip ragel only on fedora 18 --- 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" }, { -- cgit v0.9.1