build - less verbose debian install_external_depends output.
@@ -8,6 +8,8 @@ COMPILED_BITS_FILENAME=${COMPILED_BITS_FILENAME:="compiled_bits_ubuntu16.tar.gz"
function build_external_depends() {
pushd gpdb_src/depends
./configure
+ make > build_external_depends.log 2>&1
+ grep -v "Installing:" build_external_depends.log
make
popd
}
