14 Feb
2012
14 Feb
'12
6:23 a.m.
* James Fisher <jameshfisher@gmail.com> [2012-02-13 21:24:26+0000]
On Mon, Feb 13, 2012 at 9:01 PM, Jason Dagit <dagitj@gmail.com> wrote:
Is this the same or different than what you get with the -fext-core command?
The very same.
Oh. I usually use -ddump-simpl. Are they different for the purpose of this poll? In that case I should change my vote. It's also worth then to clarify this in the poll description. -- Roman I. Cheplyaka :: http://ro-che.info/