From 5203448698506381259ea64fe8fe9ec6880d3fe6 Mon Sep 17 00:00:00 2001
From: XargonWan <XargonWan@gmail.com>
Date: Mon, 6 Jan 2025 14:02:54 +0900
Subject: [PATCH] LIBMAN: tentatively fixed cp not able to copy unversioned
 libraries

---
 automation_tools/libman.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/automation_tools/libman.sh b/automation_tools/libman.sh
index cfe628d2..c69fc847 100644
--- a/automation_tools/libman.sh
+++ b/automation_tools/libman.sh
@@ -24,10 +24,10 @@ find "$1" -type f -exec sh -c '
     for file in "$@"; do
         dest_file="$target_dir/$(basename "$file")"
         if [ ! -e "$dest_file" ]; then
-            if cp "$file" "$dest_file"; then
-                echo "Copied $file to $dest_file"
+            if ! cp "$file" "$dest_file" 2>/dev/null; then
+                echo "Warning: Failed to copy $file. Skipping."
             else
-                echo "Failed to copy $file to $dest_file"
+                echo "Copied $file to $dest_file"
             fi
         else
             echo "Skipped $file as $dest_file already exists"