diff options
author | Johannes Schlüter <johannes@php.net> | 2012-11-15 12:28:19 +0100 |
---|---|---|
committer | Johannes Schlüter <johannes@php.net> | 2012-11-15 12:28:19 +0100 |
commit | 7468fc0e374ad8cd8db482e6c228cdaae8aed075 (patch) | |
tree | fb2750e31f7ca914c7179e93b279c4d29b7ac8b9 /Zend/zend_ini_scanner.l | |
parent | f5d8b638c7864150db3e7d39ecf3808850c82e0f (diff) | |
download | php-git-7468fc0e374ad8cd8db482e6c228cdaae8aed075.tar.gz |
Skip test if directory does not exist
Would be good to run this using a directory which is existing
everywhere.
Diffstat (limited to 'Zend/zend_ini_scanner.l')
0 files changed, 0 insertions, 0 deletions