diff.py: fix --lhs-name option (#67)

This commit is contained in:
Erin Moon 2021-01-04 21:05:42 -06:00 committed by GitHub
parent b9ef1d7f4a
commit 65dbd7e088
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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),
)