Thanks.
On Thu, Apr 18, 2013 at 10:09 AM, Ben Pfaff wrote:
> I forgot that I needed to push this myself.
>
> I pushed this to master.
>
> On Mon, Apr 15, 2013 at 06:19:56PM -0700, Ben Pfaff wrote:
> > I misunderstood. Thanks, I'm happy with it as is then.
> > On Apr 15, 2013 5:17 PM, "Andy Zhou
I forgot that I needed to push this myself.
I pushed this to master.
On Mon, Apr 15, 2013 at 06:19:56PM -0700, Ben Pfaff wrote:
> I misunderstood. Thanks, I'm happy with it as is then.
> On Apr 15, 2013 5:17 PM, "Andy Zhou" wrote:
>
> > This patch does the way you recommended already.
> >
> >
>
I misunderstood. Thanks, I'm happy with it as is then.
On Apr 15, 2013 5:17 PM, "Andy Zhou" wrote:
> This patch does the way you recommended already.
>
>
> On Mon, Apr 15, 2013 at 1:00 PM, Ben Pfaff wrote:
>
>> On Fri, Apr 05, 2013 at 04:56:52PM -0700, Andy Zhou wrote:
>> > sparse support seems
This patch does the way you recommended already.
On Mon, Apr 15, 2013 at 1:00 PM, Ben Pfaff wrote:
> On Fri, Apr 05, 2013 at 04:56:52PM -0700, Andy Zhou wrote:
> > sparse support seems to be broken on some recent Linux distributions.
> > For example, ubuntu 12.04 with Linux 3.5 kernel, and Debi
On Fri, Apr 05, 2013 at 04:56:52PM -0700, Andy Zhou wrote:
> sparse support seems to be broken on some recent Linux distributions.
> For example, ubuntu 12.04 with Linux 3.5 kernel, and Debian latest test
> distribution, running Linux 3.2 kernel.
>
> On both systems that sparse was broken, It was
