On Wed, 12 Jun 2013 22:04:22 +0200 Stéphane Glondu <[email protected]> wrote:
> I marked it as "Forwarded: not-needed" (which is not well named, but > looked the most suitable DEP3 header) because the patch was not in a > state to be forwarded upstream as is. Of course, something should be > done upstream... and looking at the git log, it seems it has been (new > --disable-execinfo configure option). But for some reason, Mehdi > reverted the change that removed the patch and enabled > --disable-execinfo (I guess because it didn't work well). > > Do you want to investigate this before I upload? --disable- options are not for ./configure, but for src/discover.ml which is run at pre-build step. I couldn't figure out how to pass it through ./configure. But you could probably patch _oasis and setup.ml to enable it.. -- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
