Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Extend skip section

1 files changed, 16 insertions, 1 deletions

diff --git a/ext/gmp/tests/gmp_setbit_long.phpt b/ext/gmp/tests/gmp_setbit_long.phpt
index d0d0a3d989..e27c4e5942 100644
--- a/ext/gmp/tests/gmp_setbit_long.phpt
+++ b/ext/gmp/tests/gmp_setbit_long.phpt
@@ -4,6 +4,21 @@ gmp_setbit() with large index
 <?php if (!extension_loaded("gmp")) print "skip"; ?>
 <?php if (PHP_INT_SIZE != 8) die("skip this test is for 64bit platform only"); ?>
 <?php if (getenv("SKIP_SLOW_TESTS")) die("skip slow test"); ?>
+<?php
+	/* This test requires about 8G RAM which likely not to be present on an arbitrary CI. */
+	if (!file_exists("/proc/meminfo")) {
+		die("skip cannot determine free memory amount.");
+	}
+	$s = file_get_contents("/proc/meminfo");
+	$free = 0;
+	if (preg_match(",MemFree:\s+(\d+)\s+kB,", $s, $m)) {
+		/* Got amount in kb. */
+		$free = $m[1]/1024/1024;
+	}
+	if ($free < 8) {
+		die("skip not enough free RAM.");
+	}
+?>
 --FILE--
 <?php
 
@@ -23,4 +38,4 @@ FFFFFFFFF
 3FFFFFFFFF
 
 Warning: gmp_setbit(): Index must be less than %d * %d in %s/gmp_setbit_long.php on line %d
-Done
\ No newline at end of file
+Done