CI: Set PHP_FPM correctly for current Ubuntu images.
Github: closes #633
git-svn-id: https://svn.apache.org/repos/asf/httpd/httpd/trunk@
1933654 13f79535-47bb-0310-9956-
ffa450edef68
MARGS: "-j2"
CFLAGS: "-g"
# This will need updating as the ubuntu-latest image changes:
- PHP_FPM: "/usr/sbin/php-fpm8.1"
+ PHP_FPM: "/usr/sbin/php-fpm8.3"
jobs:
build:
popd
fi
fi
+
+if test -v PHP_FPM -a ! -v SKIP_TESTING; then
+ # Sanity test the php-fpm executable exists.
+ $PHP_FPM --version || exit 1
+fi
export ASAN_OPTIONS="log_path=$PWD/asan.log:detect_leaks=0"
fi
-if test -v PHP_FPM; then
- # Sanity test the executable exists.
- $PHP_FPM --version
-fi
-
# Try to keep all potential coredumps from all processes
sudo sysctl -w kernel.core_uses_pid=1 2>/dev/null || true
# Systemd based systems might process core dumps via systemd-coredump.