Searched refs:with_local_prefix (Results 1 – 4 of 4) sorted by relevance
31 *) local_prefix=$with_local_prefix ;;
2536 withval="$with_local_prefix"2542 *) local_prefix=$with_local_prefix ;;
757 withval="$with_local_prefix"761 *) local_prefix=$with_local_prefix ;;
147 *) local_prefix=$with_local_prefix ;;