Lines Matching refs:output_file
61 # \param output_file The name of the file to which to write the HTML report.
64 local output_file="${1}"; shift
66 [ "${output_file}" != "/dev/stdout" ] || \
69 local dir="$(dirname "${output_file}")"
70 local index_name="${output_file##*/}"
86 # \param output_file The name of the file to which to write the HTML report.
89 local output_file="${1}"; shift
92 report_html "${output_file}"
104 # \param output_file The name of the file to which to write the textual report.
107 local output_file="${1}"; shift
128 --output="${output_file}"
139 local output_file="$(echo "${output_spec}" | cut -d : -f 2)"
140 [ "${output_file}" != - ] || output_file=/dev/stdout
144 "report_${output_format}" "${output_file}"