diff options
author | Stefan Hajnoczi <stefanha@redhat.com> | 2016-11-18 15:24:26 +0000 |
---|---|---|
committer | Stefan Hajnoczi <stefanha@redhat.com> | 2016-11-18 15:24:26 +0000 |
commit | d93b1fb009b64333d324a2fe76fe805f2ac2cda4 (patch) | |
tree | 5b64ab12c567fae5ba6a0bf4a21e55d1d0a8c4fe | |
parent | ad538782d78e46878d1c1cb24582d51bd266c626 (diff) | |
parent | d4f7ca59017835784c6872dfab0e269d9b41b05a (diff) |
Merge remote-tracking branch 'public/tags/tracing-pull-request' into staging
# gpg: Signature made Fri 18 Nov 2016 03:01:22 PM GMT
# gpg: using RSA key 0x9CA4ABB381AB73C8
# gpg: Good signature from "Stefan Hajnoczi <stefanha@redhat.com>"
# gpg: aka "Stefan Hajnoczi <stefanha@gmail.com>"
# Primary key fingerprint: 8695 A8BF D3F9 7CDA AC35 775A 9CA4 ABB3 81AB 73C8
* public/tags/tracing-pull-request:
trace: fix generated code build break
Message-id: 1479481289-2479-1-git-send-email-stefanha@redhat.com
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
-rwxr-xr-x | scripts/tracetool.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/tracetool.py b/scripts/tracetool.py index fe9c9e904b..c9e47371d3 100755 --- a/scripts/tracetool.py +++ b/scripts/tracetool.py @@ -70,7 +70,7 @@ def make_group_name(filename): if dirname == "": return "common" - return re.sub(r"[^A-Za-z0-9]", "_", dirname) + return "_" + re.sub(r"[^A-Za-z0-9]", "_", dirname) def main(args): global _SCRIPT |