Searched refs:RESULTS_DIR (Results 1 – 1 of 1) sorted by relevance
822 RESULTS_DIR=$(awk '/^Log directory/ { print $3 }' "$RESULTS_FILE")823 if [ -d "$RESULTS_DIR" ]; then824 cat "$RESULTS_FILE" "$REPORT_FILE" >"$RESULTS_DIR/results"