I absolutely forgot about this patch but I think that it is fine: the change is very small and non-invasive, it builds on information that was already present. I don't see any reason why not to have this information if it was useful to Stéphane, so I'm thinking of merging it in trunk (with a Changelog, etc.).
Original bug ID: 5163
Reporter: @glondu
Assigned to: @gasche
Status: resolved (set by @gasche on 2016-12-14T13:47:56Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 3.12.1+dev
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: tools (ocaml{lex,yacc,dep,debug,...})
Tags: patch
Monitored by: mehdi
Bug description
Attached is a patch that adds the list of defined symbols of a bytecode executable in objinfo output.
File attachments
The text was updated successfully, but these errors were encountered: