From 8f65b02c05261e3eb32630bc6eae123e0dbc01ed Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 28 Oct 2014 09:43:15 +0100
Subject: [PATCH] Disable faulty test cases

---
 debian/rules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/rules b/debian/rules
index 16afb684..04b5b645 100755
--- a/debian/rules
+++ b/debian/rules
@@ -276,6 +276,8 @@ ifeq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
 	rm -rf testsuite/tests/tool-debugger/basic/
 	rm -rf testsuite/tests/tool-debugger/find-artifacts/
 	rm -rf testsuite/tests/tool-debugger/no_debug_event/
+	: # FIXME: see http://caml.inria.fr/mantis/view.php?id=6630
+	rm -rf testsuite/tests/prim-bigstring
 ifneq (,$(filter $(DEB_BUILD_ARCH),$(SLOW_ARCHITECTURES)))
 	rm -f testsuite/tests/misc-unsafe/almabench.ml
 endif
-- 
2.30.2