Commit graph

2 commits

Author SHA1 Message Date
Yuri Victorovich
39a98a35c1 Tools/scripts: Improve update-rust-port.sh
* use strict shell mode
* check dependencies
* update PORTREVISION

Suggested by:	mikael@ (use of portedit)
2023-07-12 12:17:29 -07:00
Yuri Victorovich
7e866ceb0e Tools/scripts: Add update-rust-port.sh script to simplify Rust port updates
The command 'update-rust-port.sh <version>', when run in the Rust
port directory, updates this port to the requested version.

update-rust-port.sh should work in most cases.
2023-07-11 22:18:21 -07:00