Searched refs:MAKE_LOG_FILE (Results 1 – 1 of 1) sorted by relevance
20 if [[ -z "$MAKE_LOG_FILE" ]]; then22 MAKE_LOG_FILE="/dev/stdout"
Completed in 4 milliseconds