Merge pull request #27776 from JunHe77/install-deps
authorKefu Chai <kchai@redhat.com>
Mon, 29 Apr 2019 14:34:10 +0000 (22:34 +0800)
committerGitHub <noreply@github.com>
Mon, 29 Apr 2019 14:34:10 +0000 (22:34 +0800)
commit41747f7d9ebf2d8b3b7ec743ebee69936017d1bb
tree5585302734f2041e59b649562fa78483a381448d
parent34b4cce61e1e931a61d7db608155e1cbe547431c
parent95aff1e3840f7c9f8766831282fe19773ff5331d
Merge pull request #27776 from JunHe77/install-deps

install-deps.sh: add option to skip prebuilt boost-* pkgs installation

Reviewed-by: Kefu Chai <kchai@redhat.com>