git: 5bd7ce7d6d16 - main - Tools/scripts/update-rust-port.sh: Fix failures that occurred for some ports
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 19 Dec 2023 08:23:15 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=5bd7ce7d6d16989b3b31d070c5faf985051a3bee
commit 5bd7ce7d6d16989b3b31d070c5faf985051a3bee
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-12-19 08:22:05 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-12-19 08:22:05 +0000
Tools/scripts/update-rust-port.sh: Fix failures that occurred for some ports
---
Tools/scripts/update-rust-port.sh | 17 ++++++++---------
1 file 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