mirror of
https://github.com/php/php-src.git
synced 2024-11-24 02:15:04 +08:00
fixup, both catched by nikic
This commit is contained in:
parent
e93d7953df
commit
95a0b11d0a
@ -8,7 +8,7 @@ if (substr(PHP_OS, 0, 3) == 'WIN') {
|
||||
die('skip no /dev on Windows');
|
||||
}
|
||||
if (!file_exists("/dev/null")) {
|
||||
die('skip /dev/console not available');
|
||||
die('skip /dev/null not available');
|
||||
}
|
||||
?>
|
||||
--FILE--
|
||||
|
Loading…
Reference in New Issue
Block a user