Shouldn't microtime and gettimeofday be unavailable when HAVE_GETTIMEOFDAY is undefined?
PHP_FUNCTION(microtime)
{
#ifdef HAVE_GETTIMEOFDAY
...
#endif
RETURN_FALSE;
}
PHP_FUNCTION(gettimeofday)
{
#ifdef HAVE_GETTIMEOFDAY
...
#endif
RETURN_FALSE;
}
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, visit: http://www.php.net/unsub.php
