From 93fba1618ddbbef8bedd8d684cf356586c94bbb1 Mon Sep 17 00:00:00 2001 From: Lluís Vilanova Date: Tue, 5 Mar 2013 14:47:26 +0100 Subject: trace: [tracetool] Explicitly identify public backends MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Public backends are those printed by "--list-backends" and thus considered valid by the configure script. Signed-off-by: Lluís Vilanova Signed-off-by: Stefan Hajnoczi --- scripts/tracetool/backend/simple.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scripts/tracetool/backend/simple.py') 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): -- cgit 1.4.1