On Fri, 14 Jan 2005 23:13:57 +0100, Sam Ravnborg wrote:
> Following patch adds support of -isystem to sparse.
...
> ===== lib.c 1.111 vs edited =====
> --- 1.111/lib.c�������2005-01-07 23:06:23 +01:00
> +++ edited/lib.c������2005-01-14 23:11:01 +01:00
> @@ -461,6 +461,12 @@
> ��������������if (fd < 0)
> ����������������������perror(name);
> ������}
> +�����else if (*next && !strcmp(arg, "isystem")) {
> +�������������char *path = *++next;
> +�������������if (!path)
> +���������������������die("missing argument for -isystem option");
> +�������������add_pre_buffer("#add_include \"%s/\"\n", path);
> +�����}
> ������return next;
> �}
It screwes checking kernel tree if kernel CC is different from CC sparse was
built with.
$ make -k C=2 CC=/usr/local/gcc-4.0/bin/gcc
� CHECK � init/main.c
/usr/local/gcc-4.0/lib/gcc/i686-pc-linux-gnu/4.0.0/include/asm/posix_types.h:13:11:
error: unable to open 'features.h'
make[1]: *** [init/main.o] Error 1
��������Alexey
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
