mirror of
https://github.com/php/php-src.git
synced 2025-08-18 06:58:55 +02:00
Execute --SKIPIF-- like --FILE--
This commit is contained in:
parent
472cc5b9f3
commit
23e5004132
1 changed files with 1 additions and 1 deletions
|
@ -688,7 +688,7 @@ TEST $file
|
||||||
if (array_key_exists('SKIPIF', $section_text)) {
|
if (array_key_exists('SKIPIF', $section_text)) {
|
||||||
if (trim($section_text['SKIPIF'])) {
|
if (trim($section_text['SKIPIF'])) {
|
||||||
save_text($tmp_skipif, $section_text['SKIPIF']);
|
save_text($tmp_skipif, $section_text['SKIPIF']);
|
||||||
$output = `$php $info_params $tmp_skipif`;
|
$output = system_with_timeout("$php $info_params $tmp_skipif");
|
||||||
@unlink($tmp_skipif);
|
@unlink($tmp_skipif);
|
||||||
if (eregi("^skip", trim($output))) {
|
if (eregi("^skip", trim($output))) {
|
||||||
echo "SKIP $tested";
|
echo "SKIP $tested";
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue