summaryrefslogtreecommitdiff
path: root/tests/tabort_defalloc1.c
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-18 09:32:32 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-18 09:32:32 +0000
commit6fa234d57272cd46673af7b8ac7049bf4dec2bc5 (patch)
treec9309b429ad53f32a29b3446bb48a94d48da40db /tests/tabort_defalloc1.c
parentfe8a3a2173c21a57da54a361874b429aec9ebf3d (diff)
downloadmpfr-6fa234d57272cd46673af7b8ac7049bf4dec2bc5.tar.gz
disable those tests for mini-gmp
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8789 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tests/tabort_defalloc1.c')
-rw-r--r--tests/tabort_defalloc1.c13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/tabort_defalloc1.c b/tests/tabort_defalloc1.c
index 4c555ea26..3d94347cc 100644
--- a/tests/tabort_defalloc1.c
+++ b/tests/tabort_defalloc1.c
@@ -23,6 +23,8 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
#define MPFR_NEED_LONGLONG_H
#include "mpfr-test.h"
+#ifndef WANT_MINI_GMP
+
int
main (int argc, char **argv)
{
@@ -36,3 +38,14 @@ main (int argc, char **argv)
tests_end_mpfr ();
return -1; /* Should not be executed */
}
+
+#else /* don't test with mini-gmp, which does not fully implement GMP
+ memory functions */
+
+int
+main (void)
+{
+ return 77;
+}
+
+#endif