diff options
Diffstat (limited to 'ext/readline/tests/libedit_info_001.phpt')
| -rw-r--r-- | ext/readline/tests/libedit_info_001.phpt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/readline/tests/libedit_info_001.phpt b/ext/readline/tests/libedit_info_001.phpt index 46618120fb..8b6fb80671 100644 --- a/ext/readline/tests/libedit_info_001.phpt +++ b/ext/readline/tests/libedit_info_001.phpt @@ -6,6 +6,7 @@ if (READLINE_LIB != "libedit") die("skip libedit only"); if(substr(PHP_OS, 0, 3) == 'WIN' ) { die('skip not for windows'); } +if (getenv('SKIP_REPEAT')) die("skip readline has global state"); ?> --FILE-- <?php |