diff options
| author | Erin Moon <erin@hecke.rs> | 2021-01-04 21:05:42 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-04 22:05:42 -0500 |
| commit | 65dbd7e0880c8307043aceb64f128e0ee53d7bec (patch) | |
| tree | 6851d32ddf8ac2efcf19c74a96a16beb1cde9e33 /diff.py | |
| parent | b9ef1d7f4a3b0b59f667c32449a177316cd85727 (diff) | |
diff.py: fix --lhs-name option (#67)
Diffstat (limited to 'diff.py')
| -rw-r--r-- | diff.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -576,7 +576,7 @@ def dump_objfile() -> Tuple[str, ObjdumpCommand, ObjdumpCommand]: objdump_flags = ["-drz"] return ( objfile, - (objdump_flags, refobjfile, args.start), + (objdump_flags, refobjfile, args.lhs_name or args.start), (objdump_flags + maybe_get_objdump_source_flags(), objfile, args.start), ) |