idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-10 05:07:15 +03:00
Code Issues Projects Releases Wiki Activity

Fix chez016 test

Browse Source
This commit is contained in:
Christian Rasmussen 2020-05-19 22:02:15 +02:00
parent bd6a4903b5
commit 5281de93e0
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/Main.idr
View File

@ -101,8 +101,8 @@ chezTests : List String
chezTests
= ["chez001", "chez002", "chez003", "chez004", "chez005", "chez006",
"chez007", "chez008", "chez009", "chez010", "chez011", "chez012",
"chez013", "chez014", "chez015", "chez017", "chez018",
"reg001"] -- chez016 disabled temporarily
"chez013", "chez014", "chez015", "chez016", "chez017", "chez018",
"reg001"]
ideModeTests : List String
ideModeTests

2
tests/chez/chez016/run
View File

@ -8,7 +8,7 @@ case "$1" in
;;
*)
# Relative path
IDRIS2_DIR="$(dirname "$1")/.."
IDRIS2_DIR="../$(dirname "$1")"
;;
esac