diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-12-19 00:22:05 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-12-19 00:22:05 -0800 |
| commit | 5bd7ce7d6d16989b3b31d070c5faf985051a3bee (patch) | |
| tree | 8ec5e38ba360be8c7fe84b22ec43a5c1d80bd554 /Tools/scripts/update-rust-port.sh | |
| parent | dns/q-dns: update 0.16.0 → 0.17.0 (diff) | |
Tools/scripts/update-rust-port.sh: Fix failures that occurred for some ports
Diffstat (limited to 'Tools/scripts/update-rust-port.sh')
| -rwxr-xr-x | Tools/scripts/update-rust-port.sh | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/Tools/scripts/update-rust-port.sh b/Tools/scripts/update-rust-port.sh index 80edc8347f71..57d8f0641f9c 100755 --- a/Tools/scripts/update-rust-port.sh +++ b/Tools/scripts/update-rust-port.sh @@ -64,24 +64,23 @@ BEGIN { in_cargo_crates = 0 } print $0 -}' < Makefile.new > Makefile.new1 && -/bin/mv Makefile.new1 Makefile.new +}' < Makefile.new > Makefile # update distinfo -make -f Makefile.new makesum +make makesum # replace the placeholder while IFS= read -r line; do if [ "$line" = "#@@@PLACEHOLDER@@@" ]; then - make -f Makefile.new cargo-crates | grep -v '^=' + make cargo-crates | grep -v '^=' else echo "$line" fi -done < Makefile.new > Makefile.new1 && -mv Makefile.new1 Makefile.new - -# move Makefile.new +done < Makefile > Makefile.new && mv Makefile.new Makefile +# clean +make clean + # update distinfo -make clean makesum +make makesum |