Minor tweaks to ml.py.
- Remove a partial comment fragment left over from before I rewrote the comment.
- Check all sections for absence of line numbers; stopping at debug_section_index
was a leftover from when I thought the debug section was always last
No intended behavior change.
Bug: none
Change-Id: Ie278420ed2959fe7dc473cf0739fe54c45af1380
Reviewed-on: https://chromium-review.googlesource.com/c/1306645
Reviewed-by: Hans Wennborg <hans@chromium.org>
Commit-Queue: Nico Weber <thakis@chromium.org>
Cr-Original-Commit-Position: refs/heads/master@{#603874}
Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src
Cr-Mirrored-Commit: b1426e9d748920ca9d44d5f2eae0920d9da516311 file changed
