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 az...@nicira.com wrote:
This patch does the way you recommended already.
Thanks.
On Thu, Apr 18, 2013 at 10:09 AM, Ben Pfaff b...@nicira.com 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,
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 not
This patch does the way you recommended already.
On Mon, Apr 15, 2013 at 1:00 PM, Ben Pfaff b...@nicira.com 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
I misunderstood. Thanks, I'm happy with it as is then.
On Apr 15, 2013 5:17 PM, Andy Zhou az...@nicira.com wrote:
This patch does the way you recommended already.
On Mon, Apr 15, 2013 at 1:00 PM, Ben Pfaff b...@nicira.com 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 Debian latest test
distribution, running Linux 3.2 kernel.
On both systems that sparse was broken, It was not able find the header files
in the default system include
