Searched refs:file_prefix (Results 1 – 1 of 1) sorted by relevance
73 file_prefix=$(echo "$file_name" | awk '{split($1, arr, "."); print arr[1]}')74 file_prefix=$(echo "$file_prefix" | awk '{split($1, arr, "-"); print arr[1]}')76 …b" && "$file_suffix" != "so" || "$file_prefix" == "librustc_demangle" || "$file_prefix" == "libcfg…82 if [[ "$file_prefix" == "libstd" || "$file_prefix" == "libtest" ]]84 newfile_name="$file_prefix.dylib.rlib"86 newfile_name="$file_prefix.rlib"92 newfile_name="$file_prefix.dylib.so"