diff options
| author | mayeut <mayeut@users.noreply.github.com> | 2015-10-09 22:23:32 +0200 |
|---|---|---|
| committer | mayeut <mayeut@users.noreply.github.com> | 2015-10-09 22:23:32 +0200 |
| commit | a4eade843f18e5687bd0824fd3742c26bb364514 (patch) | |
| tree | 6a49211bdf5b474a02efe9afa10100a37d0e727a /tools | |
| parent | cba89a62a18367ebccb1354afb884f9a8308f6bd (diff) | |
disable output for diff build
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/travis-ci/abi-check.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/travis-ci/abi-check.sh b/tools/travis-ci/abi-check.sh index cc1a9046..e4e8ce79 100755 --- a/tools/travis-ci/abi-check.sh +++ b/tools/travis-ci/abi-check.sh @@ -34,10 +34,10 @@ mkdir tools # Travis doesn't allow package wdiff... wget -qO - http://mirrors.kernel.org/gnu/wdiff/wdiff-latest.tar.gz | tar -xz cd wdiff-* -./configure --prefix=${HOME}/abi-check/tools/wdiff -make -make check -make install +./configure --prefix=${HOME}/abi-check/tools/wdiff &> /dev/null +make &> /dev/null +make check &> /dev/null +make install &> /dev/null cd .. export PATH=${PWD}/tools/wdiff/bin:$PATH |