From 50ed8bf96290495632e99c28c3931d91bc91ccfe Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Tue, 28 Feb 2023 18:07:04 +0000 Subject: idris: ensure check returns true during failure. --- yellowsquid/packages/idris.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index 7d6b9c2..64f5cc6 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -188,10 +188,11 @@ build us (which is potentially recursive), or use the captured compiler output ;; ;;(invoke-make "testenv") ;;(patch-shebang "build/stage2/runtests") - (,(if ignore-test-failures? - 'false-if-exception - 'begin) - (invoke-make "test")))))))) + ,(if ignore-test-failures? + '(begin + (false-if-exception (invoke-make "test")) + #true) + '(invoke-make "test")))))))) (properties `((hidden? . ,hidden?))) (home-page "https://www.idris-lang.org") (synopsis "General purpose language with full dependent types") -- cgit v1.2.3