Searched refs:td_info (Results 1 – 1 of 1) sorted by relevance
865 td_info="${test_dir}/${info}"868 if [ ! -r $td_info ]; then869 err_echo "${test_dir}: missing file $td_info"1073 cat "${td_info}" | sed 's/^/# /g'