diff options
Diffstat (limited to 'ext/readline/tests/readline_info_001.phpt')
| -rw-r--r-- | ext/readline/tests/readline_info_001.phpt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/readline/tests/readline_info_001.phpt b/ext/readline/tests/readline_info_001.phpt index 8f5d641d94..f0d4e67ca5 100644 --- a/ext/readline/tests/readline_info_001.phpt +++ b/ext/readline/tests/readline_info_001.phpt @@ -3,6 +3,7 @@ readline_info(): Basic test --SKIPIF-- <?php if (!extension_loaded("readline")) die("skip"); if (READLINE_LIB == "libedit") die("skip readline only"); +if (getenv('SKIP_REPEAT')) die("skip readline has global state"); ?> --FILE-- <?php |