diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 13:13:38 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-04-23 13:13:38 (GMT) |
| commit | 0fe88019cf2d86b6dfe1b7c09b4e5c6bc25dfc23 (patch) | |
| tree | d676609c51b21b793f8f471207a2a419bc078a98 /config/deps | |
| parent | 7c8c9372c504a1349dcbc8632bfe8422173763e0 (diff) | |
Add perf dependency
Diffstat (limited to 'config/deps')
| -rw-r--r-- | config/deps/system.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/deps/system.json b/config/deps/system.json index 5f9811d..38e6426 100644 --- a/config/deps/system.json +++ b/config/deps/system.json @@ -45,6 +45,11 @@ "name": "makeinfo" }, { + "check": "perf", + "checker": "binary", + "name": "perf" + }, + { "check": "ragel", "checker": "binary", "if": "gnome_version == '3.4'", |