diff options
| author | Maxime Devos <maximedevos@telenet.be> | 2022-08-22 11:37:38 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-09-06 22:57:50 +0200 |
| commit | 0e305798454c558ab6e722cf66ba351c326a1a8d (patch) | |
| tree | 2791688ab2099ea46f5e7f600267235e1e00dfcf | |
| parent | 42e3089752b9fdfd0569b990085fc1cd5cd75f77 (diff) | |
| download | guix-0e305798454c558ab6e722cf66ba351c326a1a8d.tar.gz | |
gnu: dejagnu: Avoid non-deterministic test failure.
I cannot reproduce the test failure locally myself. * gnu/packages/dejagnu.scm (dejagnu)[arguments]: Add #:out-of-source?. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/dejagnu.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/packages/dejagnu.scm b/gnu/packages/dejagnu.scm index f3445b3d87..579a1a7a40 100644 --- a/gnu/packages/dejagnu.scm +++ b/gnu/packages/dejagnu.scm @@ -3,6 +3,7 @@ ;;; Copyright © 2016, 2017, 2022 Efraim Flashner <efraim@flasher.co.il> ;;; Copyright © 2018 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2022 Marius Bakke <marius@gnu.org> +;;; Copyright © 2022 Maxime Devos <maximedevos@telenet.be> ;;; ;;; This file is part of GNU Guix. ;;; @@ -44,6 +45,9 @@ (inputs (list bash-minimal expect)) (arguments (list + ;; Do an out-of-source build to work-around a non-deterministic bug in Expect: + ;; <https://lists.gnu.org/archive/html/bug-dejagnu/2021-06/msg00013.html>. + #:out-of-source? #true #:phases #~(modify-phases %standard-phases (add-after 'unpack 'patch-/bin/sh |