Lines Matching refs:LOGFILE
28 LOGFILE=/dev/stdout
67 if cp -f "${LOGFILE}" "${PUBLOGFILE}" 2>/dev/null; then
84 echo "#" "$@" >> "$LOGFILE"
89 echo "#" "$@" >> "$LOGFILE"
93 echo "#" "$@" >> "$LOGFILE"
97 echo "+" "$@" >> "$LOGFILE"
98 "$@" >> "$LOGFILE" 2>&1
102 echo "+" "$@" "| head" >> "$LOGFILE"
103 "$@" | head >> "$LOGFILE" 2>&1
107 echo "+ERROR:" "$@" >> "$LOGFILE"
242 [ -z "${OPT_VERBOSE}" ] && LOGFILE="${TMPDIR}/noisy.log"
246 echo "Running $0 $*" > "$LOGFILE"
255 echo "Saving verbose log as $LOGFILE"
