diff options
| -rw-r--r-- | yellowsquid/packages/idris.scm | 9 |
1 files 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") |