diff options
-rw-r--r-- | Zend/tests/temporary_cleaning_014.phpt | 2 |
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; }); |