From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 11:22:04 +0000 (+0200)
Subject: Fix disabling sockets test
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~42
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=68a802c88ee1b414409d724c9e0ca6306f480518;p=ocaml.git

Fix disabling sockets test
---

diff --git a/debian/rules b/debian/rules
index 718a4e60..5b4e5dc0 100755
--- a/debian/rules
+++ b/debian/rules
@@ -248,7 +248,8 @@ SLOW_ARCHITECTURES := armel armhf ia64 mips mipsel powerpc powerpcspe sparc
 override_dh_auto_test:
 ifeq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
 	: # tries to connect the net
-	rm -f testsuite/tests/lib-threads/testsocket.*
+	sed -i /sockets.ml/d testsuite/tests/lib-threads/ocamltests
+	rm -f testsuite/tests/lib-threads/sockets.*
 	: # FIXME: the following tests fail, we temporarily disable them
 	rm -rf testsuite/tests/tool-debugger/basic/
 	rm -rf testsuite/tests/tool-debugger/find-artifacts/