Searched refs:dir_prefix (Results 1 – 3 of 3) sorted by relevance
95 local dir_prefix=$3235 local output=$(${ADDR2LINE} $args $addr | sed "s; $dir_prefix\(\./\)*; ;")
197 dir_man = join_paths(dir_prefix, get_option('mandir'))199 +dir_sysconf = join_paths(dir_prefix, get_option('sysconfdir'))