Searched refs:dir_prefix (Results 1 – 1 of 1) sorted by relevance
95 local dir_prefix=$3235 local output=$(${ADDR2LINE} $args $addr | sed "s; $dir_prefix\(\./\)*; ;")