"$MAKE_LOG_FILE" (reference) in projects: PHP-7.2

Searched refs:MAKE_LOG_FILE (Results 1 – 1 of 1) sorted by relevance

/PHP-7.2/travis/
H A D	compile.sh	`19 if [[ -z "$MAKE_LOG_FILE" ]]; then 21 MAKE_LOG_FILE="/dev/stdout" 81 make "-j${MAKE_JOBS}" $MAKE_QUIET > "$MAKE_LOG_FILE" 82 make install >> "$MAKE_LOG_FILE"`

Completed in 4 milliseconds