From 68a802c88ee1b414409d724c9e0ca6306f480518 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 11 Jul 2019 13:22:04 +0200 Subject: [PATCH] Fix disabling sockets test --- debian/rules | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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/ -- 2.30.2