Searched refs:file_suffix (Results 1 – 1 of 1) sorted by relevance
75 file_suffix=$(echo "$file_name" | awk '{split($1, arr, "."); print arr[2]}')76 …if [[ "$file_suffix" != "rlib" && "$file_suffix" != "so" || "$file_prefix" == "librustc_demangle" …80 if [[ "$file_suffix" == "rlib" ]]90 if [[ "$file_suffix" == "so" ]]