From 7ff718f4551108e3dd56634c7bd150681edf22fd Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Fri, 23 May 2003 20:51:49 +0000
Subject: [PATCH] Make this a warning

---
 ext/standard/tests/time/001.phpt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ext/standard/tests/time/001.phpt b/ext/standard/tests/time/001.phpt
index e1a422957c..74802ec7fc 100644
--- a/ext/standard/tests/time/001.phpt
+++ b/ext/standard/tests/time/001.phpt
@@ -1,7 +1,10 @@
 --TEST--
 microtime() function
 --SKIPIF--
-<?php if (!function_exists('microtime'))  die('skip microtime() not available'); ?>
+<?php 
+	if (!function_exists('microtime'))  die('skip microtime() not available'); 
+	die('warn system dependent');
+?>
 --FILE--
 <?php
 $passed = 0;
-- 
2.50.1