It doesn't have to be called "$ make update", but something like that would be nice.
Currently the Rust update process is as follows (assuming the user is using rustup):
$ rustup update nightly
$ git submodule foreach git pull origin
$ make runtime
It would be convenient if there was a Make task to run them all at once.
I think we can assume the user is using rustup, since it's recommended now, and this is a convenience task that nothing else in the Makefile depends on. You can still use the Makefile to build the kernel if Rust is installed differently, so it's not a major disaster.
It doesn't have to be called "$ make update", but something like that would be nice.
Currently the Rust update process is as follows (assuming the user is using
rustup
):$ rustup update nightly
$ git submodule foreach git pull origin
$ make runtime
It would be convenient if there was a Make task to run them all at once.I think we can assume the user is using
rustup
, since it's recommended now, and this is a convenience task that nothing else in the Makefile depends on. You can still use the Makefile to build the kernel if Rust is installed differently, so it's not a major disaster.