disable output for diff build

This commit is contained in:
mayeut 2015-10-09 22:23:32 +02:00
parent cba89a62a1
commit a4eade843f
1 changed files with 4 additions and 4 deletions

View File

@ -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