diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2018-01-30 17:50:42 +0000 |
---|---|---|
committer | P. F. Chimento <philip.chimento@gmail.com> | 2018-03-21 12:14:59 -0700 |
commit | 1cec67ba646c13a037829147790dbc5570473909 (patch) | |
tree | 003ec904b3373c6cc4aa5ac15ec1737b8f70a41c /tools/Makefile.am.inc | |
parent | 80408632f1322a44b3094f3dfb6ee6afcdef13dc (diff) |
Add eos-profile-convert command
If we want to perform additional analysis on a profile capture file it's
generally going to be easier to have it in a different format than a
GVDB binary blob, especially if we want to use tools that are written in
high level languages that may not have access to the GVDB API.
The simplest format we can convert to is JSON, which is structured and
easy to parse with other languages.
Diffstat (limited to 'tools/Makefile.am.inc')
-rw-r--r-- | tools/Makefile.am.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Makefile.am.inc b/tools/Makefile.am.inc index d8751bb..b4cc2f5 100644 --- a/tools/Makefile.am.inc +++ b/tools/Makefile.am.inc @@ -48,6 +48,7 @@ bin_PROGRAMS = \ eos_profile_SOURCES = \ tools/eos-profile-tool/eos-profile-cmds.h \ + tools/eos-profile-tool/eos-profile-cmd-convert.c \ tools/eos-profile-tool/eos-profile-cmd-help.c \ tools/eos-profile-tool/eos-profile-cmd-show.c \ tools/eos-profile-tool/eos-profile-main.c \ |