Make zfec optional

This commit is contained in:
Martin Pulec
2021-03-09 10:07:10 +01:00
parent 4712b4aecb
commit ee4bdbf34a
6 changed files with 52 additions and 49 deletions

View File

@@ -22,5 +22,10 @@ install_pcp() {
rm -rf pcp
}
install_pcp
install_zfec() {
( cd $GITHUB_WORKSPACE && git submodule update --init ext-deps/zfec || exit 1 )
}
install_pcp
install_zfec