diff --git a/splint-check.sh b/splint-check.sh index fd1313225f..e574b81cd1 100755 --- a/splint-check.sh +++ b/splint-check.sh @@ -1,25 +1,12 @@ -#!/bin/bash -# -# Copyright (C) CFEngine AS -# -# This file is part of CFEngine 3 - written and maintained by CFEngine AS. -# -# This program is free software; you can redistribute it and/or modify it -# under the terms of the GNU General Public License as published by the -# Free Software Foundation; version 3. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA -# -# To the extent this program is licensed as part of the Enterprise -# versions of CFEngine, the applicable Commercial Open Source License -# (COSL) may apply to this file if you as a licensee so wish it. See -# included file COSL.txt. -# -splint -I. -I/usr/include -I/usr/local/include -I/usr/include/x86_64-linux-gnu/ -I../nova/src -D__gnuc_va_list=va_list -warnposix +weak $* +#!/bin/sh + +# Unfortunately splint is crashing in system libraries, so it's not that useful + +# Other possibly useful flags: +# +weak -warnposixheaders -unrecog + +splint \ + +posixstrictlib +unixlib +gnuextensions \ + -I/usr/include/x86_64-linux-gnu/ -Ilibutils/ \ + -DHAVE_CONFIG_H -D__linux__ -D__gnuc_va_list=va_list \ + libutils/*.[ch]