diff --git a/scripts/search_abi.sh b/scripts/search_abi.sh index 966f123..5feeddb 100755 --- a/scripts/search_abi.sh +++ b/scripts/search_abi.sh @@ -4,12 +4,12 @@ directory="$1" # The directory to search in filename="$2" # The filename to search for # Find the file in the directory -found_files=$(find "$directory" -type f -name "$filename") +mapfile -t found_files < <(find "$directory" -type f -name "$filename") # Check if any files were found -if [ -z "$found_files" ]; then +if [ ${#found_files[@]} -eq 0 ]; then echo "Error: No files named '$filename' found in directory '$directory'." >&2 exit 1 else - echo "$found_files" -fi \ No newline at end of file + printf "%s\n" "${found_files[@]}" +fi