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

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

/PHP-7.3/travis/
H A D	compile.sh	`20 if [[ -z "$MAKE_LOG_FILE" ]]; then 22 MAKE_LOG_FILE="/dev/stdout" 83 make "-j${MAKE_JOBS}" $MAKE_QUIET > "$MAKE_LOG_FILE" 84 make install >> "$MAKE_LOG_FILE"`

Completed in 7 milliseconds