diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 13:21:37 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 13:21:37 (GMT) |
| commit | f024e59a76587aa4c6d183282e4ef6f1575c872a (patch) | |
| tree | 813783c3bb743445c0e020d85ab33ecfa2b12c48 | |
| parent | 0fe88019cf2d86b6dfe1b7c09b4e5c6bc25dfc23 (diff) | |
Fix typo
| -rw-r--r-- | config/deps/system.json | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/config/deps/system.json b/config/deps/system.json index 38e6426..290bd78 100644 --- a/config/deps/system.json +++ b/config/deps/system.json @@ -25,6 +25,11 @@ "name": "flex" }, { + "check": "gperf", + "checker": "binary", + "name": "gperf" + }, + { "check": "gtk-doc", "checker": "pkgconfig", "name": "gtk-doc" @@ -45,11 +50,6 @@ "name": "makeinfo" }, { - "check": "perf", - "checker": "binary", - "name": "perf" - }, - { "check": "ragel", "checker": "binary", "if": "gnome_version == '3.4'", |