From 96fcf44fafb71c57c71494eee72e41a8fd128585 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Wed, 10 Dec 2014 16:10:40 +0100 Subject: PHP 5.6.4 --- php-bug68419.patch | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 php-bug68419.patch (limited to 'php-bug68419.patch') diff --git a/php-bug68419.patch b/php-bug68419.patch deleted file mode 100644 index 5db1acd..0000000 --- a/php-bug68419.patch +++ /dev/null @@ -1,27 +0,0 @@ -From 1b156207446e0c5ec8a9476ad0966b5daa82f516 Mon Sep 17 00:00:00 2001 -From: Remi Collet -Date: Thu, 13 Nov 2014 13:08:00 +0100 -Subject: [PATCH] Fix build with gmp < 4.2 - -See 3d6d863ccbd10d212352462b587ae1573af4f1d1 -and acd7fcf55f81955e4837c750a5e45f83d3c55ba2 ---- - ext/gmp/gmp.c | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/ext/gmp/gmp.c b/ext/gmp/gmp.c -index e9c1ad3..de61f1c 100644 ---- a/ext/gmp/gmp.c -+++ b/ext/gmp/gmp.c -@@ -1776,7 +1776,7 @@ static void gmp_init_random(TSRMLS_D) - #if GMP_42_OR_NEWER - gmp_randinit_mt(GMPG(rand_state)); - #else -- gmp_randinit_lc_2exp(GMPG(rand_state), 32L); -+ gmp_randinit_lc_2exp_size(GMPG(rand_state), 32L); - #endif - /* Seed */ - gmp_randseed_ui(GMPG(rand_state), GENERATE_SEED()); --- -2.1.0 - -- cgit