mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Remove dead checks for LOG_FILE paths, replace with CONFIG_ONLY option
This commit is contained in:
parent
53e0331302
commit
41a04f96b4
1 changed files with 5 additions and 17 deletions
|
@ -15,21 +15,6 @@ else
|
|||
S390X_CONFIG="";
|
||||
fi
|
||||
|
||||
if [[ -z "$CONFIG_LOG_FILE" ]]; then
|
||||
CONFIG_QUIET="--quiet"
|
||||
CONFIG_LOG_FILE="/dev/stdout"
|
||||
else
|
||||
CONFIG_QUIET=""
|
||||
fi
|
||||
if [[ -z "$MAKE_LOG_FILE" ]]; then
|
||||
MAKE_QUIET="--quiet"
|
||||
MAKE_LOG_FILE="/dev/stdout"
|
||||
else
|
||||
MAKE_QUIET=""
|
||||
fi
|
||||
|
||||
MAKE_JOBS=${MAKE_JOBS:-$(nproc)}
|
||||
|
||||
./buildconf --force
|
||||
./configure \
|
||||
--enable-option-checking=fatal \
|
||||
|
@ -86,5 +71,8 @@ $S390X_CONFIG \
|
|||
--enable-werror \
|
||||
--with-pear
|
||||
|
||||
make "-j${MAKE_JOBS}" $MAKE_QUIET
|
||||
make install
|
||||
if [[ -z "$CONFIG_ONLY" ]]; then
|
||||
MAKE_JOBS=${MAKE_JOBS:-$(nproc)}
|
||||
make "-j${MAKE_JOBS}" $MAKE_QUIET
|
||||
make install
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue