summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Zend/tests/temporary_cleaning_014.phpt2
1 files changed, 2 insertions, 0 deletions
diff --git a/Zend/tests/temporary_cleaning_014.phpt b/Zend/tests/temporary_cleaning_014.phpt
index a64f5a1d95..39effae18a 100644
--- a/Zend/tests/temporary_cleaning_014.phpt
+++ b/Zend/tests/temporary_cleaning_014.phpt
@@ -1,5 +1,7 @@
--TEST--
Leak in JMP_SET
+--SKIPIF--
+<?php if (!extension_loaded("gmp")) print "skip"; ?>
--FILE--
<?php
set_error_handler(function() { throw new Exception; });