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 /scripts/tracetool/backend/simple.py | |
| parent | e280ff5e9159ed227a117339c1157143627cab96 (diff) | |
| download | qemu-93fba1618ddbbef8bedd8d684cf356586c94bbb1.tar.gz | |
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 'scripts/tracetool/backend/simple.py')
| -rw-r--r-- | scripts/tracetool/backend/simple.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/tracetool/backend/simple.py b/scripts/tracetool/backend/simple.py index e4b4a7f05d..ac864f38ce 100644 --- a/scripts/tracetool/backend/simple.py +++ b/scripts/tracetool/backend/simple.py @@ -15,6 +15,10 @@ __email__ = "stefanha@linux.vnet.ibm.com" from tracetool import out + +PUBLIC = True + + def is_string(arg): strtype = ('const char*', 'char*', 'const char *', 'char *') if arg.lstrip().startswith(strtype): |