Merge branch '4.0release' into develop

pull/1748/head
winlin 5 years ago
commit f072f30854

@ -110,7 +110,11 @@ function Ubuntu_prepare()
echo "The valgrind-dev is installed."
fi
fi
pkg-config --version >/dev/null 2>&1; ret=$?; if [[ 0 -ne $ret ]]; then
echo "Please install pkg-config"; exit -1;
fi
echo "Tools for Ubuntu are installed."
return 0
}
@ -191,6 +195,10 @@ function Centos_prepare()
echo "The valgrind-devel is installed."
fi
fi
pkg-config --version --help >/dev/null 2>&1; ret=$?; if [[ 0 -ne $ret ]]; then
echo "Please install pkg-config"; exit -1;
fi
echo "Tools for Centos are installed."
return 0

Loading…
Cancel
Save