[Sheepdog] [PATCH] add semantic check by using sparse

MORITA Kazutaka morita.kazutaka at lab.ntt.co.jp
Thu Apr 22 18:41:16 CEST 2010


Hi,

On Fri, Apr 23, 2010 at 2:38 AM, OZAWA Tsuyoshi
<ozawa.tsuyoshi at lab.ntt.co.jp> wrote:
> Sparse is a semantic parser used in Linux kernel.
> This patch provide sheepdog with semantic check.
> To run sparse,
>  $ make check
>
> If script/checkarch.sh failed at running "make check", run
>  $ make check32
> or
>  $ make check64
> instead.
>
> Signed-off-by: OZAWA Tsuyoshi <ozawa.tsuyoshi at lab.ntt.co.jp>
> ---
>  Makefile            |   19 +++++++++++++++++++
>  script/checkarch.sh |   26 ++++++++++++++++++++++++++
>  2 files changed, 45 insertions(+), 0 deletions(-)
>  create mode 100644 script/checkarch.sh

Great! This will help our development.

Thanks,

Kazutaka Morita



More information about the sheepdog mailing list