Searched refs:dir_prefix (Results 1 – 1 of 1) sorted by relevance
176 local dir_prefix=$3308 local output=$(echo "${ADDR2LINE_OUT}" | sed "s; $dir_prefix\(\./\)*; ;")