getopt() is currently not available on Windows

diff --git a/ext/standard/tests/general_functions/getopt.phpt b/ext/standard/tests/general_functions/getopt.phpt
index 11ba7024885a6745b6927ed94ae08007190debbd..13a4fa558f39f1296b068bb48652cb9a50e41155 100644 (file)
--- a/ext/standard/tests/general_functions/getopt.phpt
+++ b/ext/standard/tests/general_functions/getopt.phpt
@@ -4,6 +4,9 @@ getopt
 -v -h -d test -m 1234 -t -j
 --SKIPIF--
 <?php
+       if (substr(PHP_OS, 0, 3) == 'WIN') {
+               die('skip getopt() is currently not available on Windows');
+       }
        if (!ini_get('register_argc_argv')) {
                die("skip this test needs register_argc_argv to be enabled");
        }