Skip to content

Commit 048d200

Browse files
Isolate sanitizer soak from host PHP extensions
1 parent 6add347 commit 048d200

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

extension/scripts/soak-runtime.sh

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -230,7 +230,9 @@ for ((iteration = 1; iteration <= ITERATIONS; iteration++)); do
230230
cleanup_test_artifacts
231231
current_log="${LOG_DIR}/iteration-${iteration}.log"
232232

233-
if "${PHP_BIN}" run-tests.php -q -d "extension=${EXT_SO}" "${TEST_FILES[@]}" >"${current_log}" 2>&1; then
233+
# Keep sanitizer gates focused on King itself instead of whichever shared
234+
# PHP extensions happen to be enabled on the host runner.
235+
if "${PHP_BIN}" run-tests.php -q -n -d "extension=${EXT_SO}" "${TEST_FILES[@]}" >"${current_log}" 2>&1; then
234236
printf 'iteration=%d status=pass\n' "${iteration}" >> "${SUMMARY_FILE}"
235237
continue
236238
fi

0 commit comments

Comments
 (0)