Merge branch 'master' into update_scripts_2

This commit is contained in:
2022-05-25 09:03:44 +02:00
committed by GitHub
8 changed files with 106 additions and 47 deletions

View File

@ -14,12 +14,10 @@ fi
cd /usr/src
git clone https://github.com/dvidelabs/flatcc.git
git clone https://github.com/dvidelabs/flatcc.git -b v$FLATCC_VERSION
cd flatcc
git reset --hard $FLATCC_COMMIT
cmake -DFLATCC_INSTALL=on && make install > /dev/null
./scripts/cleanall.sh