Searched refs:MAKE_LOG_FILE (Results 1 – 1 of 1) sorted by relevance
19 if [[ -z "$MAKE_LOG_FILE" ]]; then21 MAKE_LOG_FILE="/dev/stdout"81 make "-j${MAKE_JOBS}" $MAKE_QUIET > "$MAKE_LOG_FILE"82 make install >> "$MAKE_LOG_FILE"
Completed in 5 milliseconds