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