projects
/
psensor.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
9022b81
)
verify distrib build
author
Jean-Philippe Orsini
<jeanfi@gmail.com>
Thu, 25 Sep 2014 08:06:22 +0000
(10:06 +0200)
committer
Jean-Philippe Orsini
<jeanfi@gmail.com>
Thu, 25 Sep 2014 08:06:22 +0000
(10:06 +0200)
scripts/check.sh
patch
|
blob
|
history
diff --git
a/scripts/check.sh
b/scripts/check.sh
index
3fd6671
..
ba48fda
100755
(executable)
--- 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