From 498aeeaef4fdde54833db90e88a370c8598d85e8 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Orsini Date: Thu, 25 Sep 2014 10:06:22 +0200 Subject: [PATCH] verify distrib build --- scripts/check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/check.sh b/scripts/check.sh index 3fd6671..ba48fda 100755 --- a/scripts/check.sh +++ b/scripts/check.sh @@ -4,7 +4,7 @@ SCRIPT_DIR=`dirname $0` cd $SCRIPT_DIR/.. ./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 +make clean all check install distcheck 3>&1 1>&2 2>&3 | grep -v "^/usr/include" | tee /tmp/err cat /tmp/err -- 2.7.4