check GMP version and skip the test if it's <= 4.2.1

diff --git a/ext/gmp/tests/011.phpt b/ext/gmp/tests/011.phpt
index b359b97b1359a17ed551fdcc886fbd6e569963c1..a4a23514b1c8d3bc3f12d19c256a929ca663f475 100644 (file)
--- 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