diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-06-10 13:44:06 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-06-10 13:44:06 +0000 |
| commit | 7ab83427af0f77b59941ceba41d509d7d097b065 (patch) | |
| tree | cc41c05b1db454e3d802f34df75e636ee922ad87 /utils/opt-viewer/optrecord.py | |
| parent | d288ef4c1788d3a951a7558c68312c2d320612b1 (diff) | |
Diffstat (limited to 'utils/opt-viewer/optrecord.py')
| -rw-r--r-- | utils/opt-viewer/optrecord.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/opt-viewer/optrecord.py b/utils/opt-viewer/optrecord.py index 3dc77e9db019..2f930a48a056 100644 --- a/utils/opt-viewer/optrecord.py +++ b/utils/opt-viewer/optrecord.py @@ -33,7 +33,7 @@ def html_file_name(filename): return filename.replace('/', '_') + ".html" def make_link(File, Line): - return "{}#L{}".format(html_file_name(File), Line) + return "\"{}#L{}\"".format(html_file_name(File), Line) class Remark(yaml.YAMLObject): |