[DOC-CVS] [doc-base] master: Removed ancient --disable-segfault-speed flag
[email protected] (Jordi Kroon)
| Newsgroups | php.doc.cvs |
|---|---|
| Message-ID | <[email protected]> |
Author: Jordi Kroon (jordikroon)
Date: 2026-08-18T22:42:23+02:00
Commit: https://github.com/php/doc-base/commit/77d940d61ae66b42094ce3cb2a230c1be0736f68
Raw diff: https://github.com/php/doc-base/commit/77d940d61ae66b42094ce3cb2a230c1be0736f68.diff
Removed ancient --disable-segfault-speed flag
Changed paths:
M scripts/build-chms.php
Diff:
diff --git a/scripts/build-chms.php b/scripts/build-chms.php
index 1c13f6f12f..753af1b840 100644
--- a/scripts/build-chms.php
+++ b/scripts/build-chms.php
@@ -112,7 +112,7 @@
/**
* Generate .manual-lang.xml
*/
- execute_task('- Configure', PATH_PHP, PATH_DOC . '\doc-base\configure.php --disable-libxml-check --disable-segfault-speed --with-php="' . PATH_PHP . '" --with-lang=' . $lang_code . ' --enable-chm --output=' . PATH_DOC . '\\doc-base\\.manual-' . $lang_code . '.xml', 'configure_' . $lang_code);
+ execute_task('- Configure', PATH_PHP, PATH_DOC . '\doc-base\configure.php --disable-libxml-check --with-php="' . PATH_PHP . '" --with-lang=' . $lang_code . ' --enable-chm --output=' . PATH_DOC . '\\doc-base\\.manual-' . $lang_code . '.xml', 'configure_' . $lang_code);
if(!is_file(PATH_DOC . '\\doc-base\\.manual-' . $lang_code . '.xml'))
{