Fix disabling sockets test

diff --git a/debian/rules b/debian/rules
index 718a4e6095ac7338dc5445b6c62acfe39eb24ae5..5b4e5dc0164e15dfd59bdce0a6fc085ae4e71018 100755 (executable)
--- 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/