diff options
Diffstat (limited to 'dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch')
| -rw-r--r-- | dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch b/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch new file mode 100644 index 000000000000..eb085ca765e6 --- /dev/null +++ b/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch @@ -0,0 +1,10 @@ +--- a/tests/Main.idr ++++ b/tests/Main.idr +@@ -233,7 +233,6 @@ main = runner $ + , !codegenTests + ] + ++ !(traverse idrisTestsAllSchemes [Chez, Racket]) +- ++ map (testPaths "allbackends" . idrisTestsAllBackends) [Chez, Node, Racket, C] + + + where |