On 05/24/2011 11:41 AM, Stéphane Glondu wrote: >> The "strip"ping problem that appeared to motivate the new embedding >> process had never bothered us, so another suitable workaround from our >> perspective would be if there was a way to disable the >> new "-output-obj"-style behavior. > > I am working on that...
Actually, there is already one: just put "c" in an environment variable called "OCAML_COMPAT" to get the upstream behaviour. Is that enough for you? Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org