search

tock / libtock-rs

Rust userland library for Tock
Apache License 2.0
160 stars 105 forks source link

Specify Bash as the shell to use in Makefile. #504

Closed jrvanwhy closed 10 months ago

jrvanwhy commented 10 months ago

Closes #502.