diff options
-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 7258d53..b3bee5c 100644 --- a/config/deps/system.json +++ b/config/deps/system.json @@ -88,7 +88,7 @@ { "check": "ragel", "checker": "binary", - "if": "distro == 'fedora-18'", + "if": "distro != 'fedora-18'", "name": "ragel" }, { |