clone 627132 -1 retitle -1 provide a way to use legacy custom linking thanks
Le 17/05/2011 23:33, Stephen McCamant a écrit :
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... Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4ddb7d30.9080...@debian.org
