Make this a warning

diff --git a/ext/standard/tests/time/001.phpt b/ext/standard/tests/time/001.phpt
index e1a422957c26443cf8724a1a29f37daa6711c3a4..74802ec7fcfb2496cde01251441826dd9b6f6192 100644 (file)
--- 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;