From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#25476: Test fail Date: Fri, 30 Mar 2018 18:39:49 +0200 Message-ID: <87lge9ldpm.fsf__40255.6870402352$1522427946$gmane$org@gnu.org> References: <7892d168-8c29-a7e0-36e5-93bd97c99b5b@gmail.com> <400dd649-1da5-b97c-dd7c-d710caaad1e9@gmail.com> <76b42f8b-63be-82d2-42e0-ed708cf217f6@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37839) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1x4P-0000DA-46 for bug-guix@gnu.org; Fri, 30 Mar 2018 12:40:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1x4M-0008Po-0A for bug-guix@gnu.org; Fri, 30 Mar 2018 12:40:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52503) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1x4L-0008Pi-TB for bug-guix@gnu.org; Fri, 30 Mar 2018 12:40:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f1x4L-0003V3-Jc for bug-guix@gnu.org; Fri, 30 Mar 2018 12:40:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: (Maria Sidorova's message of "Thu, 29 Mar 2018 15:56:45 +0300") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Maria Sidorova Cc: 25476@debbugs.gnu.org, help-guix Hi Maria, Thanks for your report. In practice you can safely ignore this test failure. We had a similar report earlier that this fails on Ubuntu: . Something we should do, though, is to at least skip the test when we know we=E2=80=99re using a faulty kernel. Currently we already have: ;; XXX: Skip this test when running Linux > 4.7.5 to work around ;; . (when (or (not perform-container-tests?) (version>? (utsname:release (uname)) "4.7.5")) (test-skip 1)) G=C3=A1bor, given what you wrote about Ubuntu=E2=80=99s 4.4 kernel, should = we explicitly flag =E2=80=9C4.4.0-116-generic=E2=80=9D in a similar way? Woul= d it be enough? Thank you both! Ludo=E2=80=99.