diff options
author | Marcus Boerger <helly@php.net> | 2003-05-23 20:56:33 +0000 |
---|---|---|
committer | Marcus Boerger <helly@php.net> | 2003-05-23 20:56:33 +0000 |
commit | 14fc7fa96c2870bc3c61e01f1f3f020050164a71 (patch) | |
tree | 3a5e3be7b5921deb4d29c8a4134fb9b7cebe1fd4 | |
parent | 1a7e7165a7b91f7667050832b5868584ac06a331 (diff) | |
download | php-git-14fc7fa96c2870bc3c61e01f1f3f020050164a71.tar.gz |
MFH: Make this a warning
-rw-r--r-- | ext/standard/tests/time/001.phpt | 5 |
1 files changed, 4 insertions, 1 deletions
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; |