chore: Cleanup submodules merge
This commit is contained in:
parent
b0f583aab1
commit
4a80e3a50c
6 changed files with 8 additions and 11 deletions
|
|
@ -1,7 +1,5 @@
|
|||
#!/bin/bash
|
||||
set -euo pipefail
|
||||
|
||||
git submodule init
|
||||
git submodule update
|
||||
cd toolchain
|
||||
make shell
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue