add scripts

This commit is contained in:
Michael Melesse
2022-10-17 17:28:48 +00:00
parent 406d03bfaf
commit fa4d0fd1ef
22 changed files with 386 additions and 0 deletions

View File

@@ -0,0 +1,6 @@
# if you are updating an existing checkout
git submodule sync
git submodule update --init --recursive
# if you want to push every to tip
# git submodule update --init --recursive --remote