]> granicus.if.org Git - php/commitdiff
Remove dead checks for LOG_FILE paths, replace with CONFIG_ONLY option
authorSara Golemon <pollita@php.net>
Fri, 24 Apr 2020 01:27:40 +0000 (01:27 +0000)
committerSara Golemon <pollita@php.net>
Fri, 24 Apr 2020 01:27:40 +0000 (01:27 +0000)
travis/compile.sh

index 7af4bb21b0d413dbf71543ac9a648c6326a931dd..81e0750874218fee2b31b762cd82676a97325da5 100755 (executable)
@@ -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