diff options
| author | Daniel P. Berrange <berrange@redhat.com> | 2017-01-25 16:14:14 +0000 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2017-01-31 17:11:18 +0000 |
| commit | 2098c56a9bc5901e145fa5d4759f075808811685 (patch) | |
| tree | 9e0ae77cc21487e4f6e1818350f97946630b92c1 /tcg/TODO | |
| parent | 9c5826306deef54003d8bc751021e95298014f32 (diff) | |
trace: move setting of group name into Makefiles
Having tracetool.py figure out the right group name from just
the input filename is not practical when considering the
different build vs src path combinations. Instead simply take
the group name as a command line arg from the Makefile, which
can trivially provide the right name.
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Daniel P. Berrange <berrange@redhat.com>
Message-id: 20170125161417.31949-6-berrange@redhat.com
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to 'tcg/TODO')
0 files changed, 0 insertions, 0 deletions