projects
/
psensor.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
91bda4c
)
stop on failures
author
Jean-Philippe Orsini
<jeanfi@gmail.com>
Mon, 29 Sep 2014 07:25:37 +0000
(09:25 +0200)
committer
Jean-Philippe Orsini
<jeanfi@gmail.com>
Mon, 29 Sep 2014 07:25:37 +0000
(09:25 +0200)
scripts/check.sh
patch
|
blob
|
history
diff --git
a/scripts/check.sh
b/scripts/check.sh
index
7b46404
..
c354a66
100755
(executable)
--- a/
scripts/check.sh
+++ b/
scripts/check.sh
@@
-3,8
+3,9
@@
SCRIPT_DIR=`dirname $0`
cd $SCRIPT_DIR/..
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 distcheck 3>&1 1>&2 2>&3 | grep -v "^/usr/include" | tee /tmp/err
+./configure --prefix=/tmp CC=cgcc CPPFLAGS="-Wsparse-all -DCURL_DISABLE_TYPECHECK -Wno-old-initializer" || exit 1
+make clean || exit 1
+make all check install distcheck 3>&1 1>&2 2>&3 | grep -v "^/usr/include" | tee /tmp/err
cat /tmp/err
cat /tmp/err