From cf7f2e8db318afdc62f24577251972743e5adfd2 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Orsini Date: Wed, 24 Sep 2014 21:09:44 +0200 Subject: [PATCH] improving checking and avoid false/positive --- scripts/check.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/check.sh b/scripts/check.sh index 9919ce3..3fd6671 100755 --- a/scripts/check.sh +++ b/scripts/check.sh @@ -3,8 +3,8 @@ SCRIPT_DIR=`dirname $0` cd $SCRIPT_DIR/.. -./configure CC=cgcc CPPFLAGS="-DCURL_DISABLE_TYPECHECK -Wno-old-initializer" -make clean all check 3>&1 1>&2 2>&3 | tee /tmp/err +./configure --prefix=/tmp CC=cgcc CPPFLAGS="-Wsparse-all -DCURL_DISABLE_TYPECHECK -Wno-old-initializer" +make clean all check install 3>&1 1>&2 2>&3 | grep -v "^/usr/include" | tee /tmp/err cat /tmp/err -- 2.7.4