From 14fc7fa96c2870bc3c61e01f1f3f020050164a71 Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Fri, 23 May 2003 20:56:33 +0000
Subject: [PATCH] MFH: 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..8529845b71 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.40.0