Tools/scripts/update-rust-port.sh: Fix failures that occurred for some ports

2024Q1
Yuri Victorovich 2023-12-19 00:22:05 -08:00
parent d9820c1aae
commit 5bd7ce7d6d
1 changed files with 8 additions and 9 deletions

View File

@ -64,24 +64,23 @@ BEGIN {
in_cargo_crates = 0 in_cargo_crates = 0
} }
print $0 print $0
}' < Makefile.new > Makefile.new1 && }' < Makefile.new > Makefile
/bin/mv Makefile.new1 Makefile.new
# update distinfo # update distinfo
make -f Makefile.new makesum make makesum
# replace the placeholder # replace the placeholder
while IFS= read -r line; do while IFS= read -r line; do
if [ "$line" = "#@@@PLACEHOLDER@@@" ]; then if [ "$line" = "#@@@PLACEHOLDER@@@" ]; then
make -f Makefile.new cargo-crates | grep -v '^=' make cargo-crates | grep -v '^='
else else
echo "$line" echo "$line"
fi fi
done < Makefile.new > Makefile.new1 && done < Makefile > Makefile.new &&
mv Makefile.new1 Makefile.new
# move Makefile.new
mv Makefile.new Makefile mv Makefile.new Makefile
# clean
make clean
# update distinfo # update distinfo
make clean makesum make makesum