File tree Expand file tree Collapse file tree 3 files changed +3
-0
lines changed
Expand file tree Collapse file tree 3 files changed +3
-0
lines changed Original file line number Diff line number Diff line change 2828 with :
2929 repository : hermitcore/rusty-hermit
3030 submodules : true
31+ ref : cc4e1de12dcdce44f78e483a38c4828399612fe6
3132 - name : Remove libhermit-rs submodule
3233 run : git rm -r libhermit-rs
3334 - name : Checkout libhermit-rs
Original file line number Diff line number Diff line change 4444 with :
4545 repository : hermitcore/rusty-hermit
4646 submodules : true
47+ ref : cc4e1de12dcdce44f78e483a38c4828399612fe6
4748 - name : Remove libhermit-rs submodule
4849 run : git rm -r libhermit-rs
4950 - name : Checkout libhermit-rs
Original file line number Diff line number Diff line change @@ -37,6 +37,7 @@ build:demo:
3737 - if [ -d "$HOME/tmp_libhermit-rs/target" ]; then rm -rf $HOME/tmp_libhermit-rs/target; fi
3838 - git clone https://github.com/hermitcore/rusty-hermit.git
3939 - cd rusty-hermit
40+ - git checkout cc4e1de12dcdce44f78e483a38c4828399612fe6
4041 - echo "rusty-hermit at commit $(git rev-parse HEAD)"
4142 # Ensure that libhermit-rs is empty - This shouldn't be necessary since we don't initialize the submodules
4243 # But let's do it anyway to be safe
You can’t perform that action at this time.
0 commit comments