diff options
author | Remi Collet <remi@php.net> | 2019-03-22 15:31:36 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2019-03-22 15:31:36 +0100 |
commit | e68fd40e22e695e17d94da24a1c0ca0087a61898 (patch) | |
tree | 2cba4fd88ea0023227ce56b6be783807c97330d2 | |
parent | bb47fb0783f4c928684c1fd7e56afd9d8fa132fc (diff) | |
download | php-git-e68fd40e22e695e17d94da24a1c0ca0087a61898.tar.gz |
ensure pcre.jit=1 for this test
-rw-r--r-- | ext/pcre/tests/grep2.phpt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/pcre/tests/grep2.phpt b/ext/pcre/tests/grep2.phpt index a739cb60ac..4c6f9b155f 100644 --- a/ext/pcre/tests/grep2.phpt +++ b/ext/pcre/tests/grep2.phpt @@ -2,6 +2,8 @@ preg_grep() 2nd test --SKIPIF-- <?php if (!PCRE_JIT_SUPPORT) die("skip no pcre jit support"); ?> +--INI-- +pcre.jit=1 --FILE-- <?php |