diff options
| author | Thomas De Schampheleire <thomas.de_schampheleire@nokia.com> | 2023-04-06 10:00:45 +0200 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2023-04-24 13:53:44 -0400 |
| commit | 9d672e290475001fcecdcc9dc79ad088ff89d17f (patch) | |
| tree | fbf2ff8b91b82cc16751e0353e087ce9a018713d /scripts/tracetool/backend/log.py | |
| parent | fdd5e90fdb4de364e12cc2722993c8f14784e7a4 (diff) | |
tracetool: use relative paths for '#line' preprocessor directives
The event filename is an absolute path. Convert it to a relative path when
writing '#line' directives, to preserve reproducibility of the generated
output when different base paths are used.
Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Message-Id: <20230406080045.21696-1-thomas.de_schampheleire@nokia.com>
Diffstat (limited to 'scripts/tracetool/backend/log.py')
| -rw-r--r-- | scripts/tracetool/backend/log.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/tracetool/backend/log.py b/scripts/tracetool/backend/log.py index 17ba1cd90e..de27b7e62e 100644 --- a/scripts/tracetool/backend/log.py +++ b/scripts/tracetool/backend/log.py @@ -12,6 +12,8 @@ __maintainer__ = "Stefan Hajnoczi" __email__ = "stefanha@redhat.com" +import os.path + from tracetool import out @@ -53,7 +55,7 @@ def generate_h(event, group): ' }', cond=cond, event_lineno=event.lineno, - event_filename=event.filename, + event_filename=os.path.relpath(event.filename), name=event.name, fmt=event.fmt.rstrip("\n"), argnames=argnames) |