diff options
Diffstat (limited to 'ext/gmp/tests/012.phpt')
| -rw-r--r-- | ext/gmp/tests/012.phpt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/gmp/tests/012.phpt b/ext/gmp/tests/012.phpt index ff60385bb7..a8de915980 100644 --- a/ext/gmp/tests/012.phpt +++ b/ext/gmp/tests/012.phpt @@ -1,5 +1,7 @@ --TEST-- gmp_neg() basic tests +--SKIPIF-- +<?php if (!extension_loaded("gmp")) print "skip"; ?> --FILE-- <?php |