Re: git: 0c8d8ebb7b3e - main - Tools/scripts: Add new script update_crates to replace CARGO_CRATES block
- Reply: Rodrigo Osorio : "Re: git: 0c8d8ebb7b3e - main - Tools/scripts: Add new script update_crates to replace CARGO_CRATES block"
- In reply to: Mateusz Piotrowski : "Re: git: 0c8d8ebb7b3e - main - Tools/scripts: Add new script update_crates to replace CARGO_CRATES block"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 16 Nov 2021 15:52:02 UTC
On Mon, Nov 15, 2021 at 11:21:34AM +0100, Mateusz Piotrowski wrote: > > make cargo-crates; make cargo-crates | portedit merge -i Makefile This could just be 'make cargo-crates-merge' now.