diff options
| -rw-r--r-- | ext/gmp/tests/011.phpt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ext/gmp/tests/011.phpt b/ext/gmp/tests/011.phpt index ec5d24f3fc..fc2d0d52f2 100644 --- a/ext/gmp/tests/011.phpt +++ b/ext/gmp/tests/011.phpt @@ -1,5 +1,11 @@ --TEST-- -gmp_divexact() tests (OK to fail with GMP =< 4.2.1) +gmp_divexact() tests +--SKIPIF-- +<?php +if (!defined('GMP_VERSION') || version_compare("4.2.1", GMP_VERSION, ">=")) { + die("skip your GMP is too old and will crash"); +} +?> --FILE-- <?php |