diff options
author | Maxime Devos <[email protected]> | 2022-08-22 11:37:38 +0200 |
---|---|---|
committer | Ludovic Courtès <[email protected]> | 2022-09-06 22:57:50 +0200 |
commit | 0e305798454c558ab6e722cf66ba351c326a1a8d (patch) | |
tree | 2791688ab2099ea46f5e7f600267235e1e00dfcf /gnu/packages/dejagnu.scm | |
parent | 42e3089752b9fdfd0569b990085fc1cd5cd75f77 (diff) |
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 <[email protected]>
Diffstat (limited to 'gnu/packages/dejagnu.scm')
-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 <[email protected]> ;;; Copyright © 2018 Mark H Weaver <[email protected]> ;;; Copyright © 2022 Marius Bakke <[email protected]> +;;; Copyright © 2022 Maxime Devos <[email protected]> ;;; ;;; 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 |