Disable faulty test cases

diff --git a/debian/rules b/debian/rules
index 16afb6847e38569057c94339b2d6105beba84fc0..04b5b645ca8e51786699417d237206c22a0e3d16 100755 (executable)
--- 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