sparse: Support recent distributions
authorAndy Zhou <azhou@nicira.com>
Fri, 5 Apr 2013 23:56:52 +0000 (16:56 -0700)
committerBen Pfaff <blp@nicira.com>
Thu, 18 Apr 2013 17:08:03 +0000 (10:08 -0700)
commit32e96ab70304cb22b172a7b57bd3a1da97775a80
tree9c7c5d46b89ec990219ce7d22c47696d6b6a9e0c
parent369932c66045542ff6c3d93c581cba09bc8c0977
sparse: Support recent distributions

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 <azhou@nicira.com>
[blp@nicira.com also tested on Debian squeeze and wheezy (testing)]
Signed-off-by: Ben Pfaff <blp@nicira.com>
acinclude.m4