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 directories. GCC finds them by default. >> > >> > This patch adds the required GCC default search path when running >> sparse. >> > >> > Tested on: >> > >> > Ubuntu 12.04 - w/ linux 3.5 kernel >> > Debian-6 March test distribution - w/ linux 3.2 kernel >> > >> > Signed-off-by: Andy Zhou <az...@nicira.com> >> >> This approach doesn't make me happy, but after some poking around I >> can't figure out a better way. >> >> One issue to consider: as-is, this adds an extra gcc and sed >> invocation for every compile (inside ``). That might extend the >> overall "make" by a second or more. Would you mind measuring the >> cost? If it is high, then it would be worth doing the gcc and sed >> invocation just once, at configure time, and then using the results >> for every "make'. >> >> Thanks, >> >> Ben. >> > >
_______________________________________________ dev mailing list dev@openvswitch.org http://openvswitch.org/mailman/listinfo/dev