diff options
| author | Lluís Vilanova <vilanova@ac.upc.edu> | 2013-03-05 14:47:26 +0100 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2013-03-28 14:19:57 +0100 |
| commit | 93fba1618ddbbef8bedd8d684cf356586c94bbb1 (patch) | |
| tree | 613b841320e0754da3046d7cbc6698c537e96cb2 /Makefile | |
| parent | e280ff5e9159ed227a117339c1157143627cab96 (diff) | |
trace: [tracetool] Explicitly identify public backends
Public backends are those printed by "--list-backends" and thus considered valid
by the configure script.
Signed-off-by: Lluís Vilanova <vilanova@ac.upc.edu>
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions