mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-09-11 16:05:51 +03:00
Fix tests/chez/chez017 test
This commit is contained in:
parent
02ce7b568d
commit
109feaaf2f
2
tests/chez/chez017/.gitignore
vendored
Normal file
2
tests/chez/chez017/.gitignore
vendored
Normal file
@ -0,0 +1,2 @@
|
||||
/expected
|
||||
|
@ -1,7 +1,7 @@
|
||||
File Exists
|
||||
False
|
||||
True
|
||||
Just "/home/edwin/Research/Yaffle/tests/chez/chez017/testdir"
|
||||
Just "__PWD__/testdir"
|
||||
1/1: Building dir (dir.idr)
|
||||
Main> Main> Bye for now!
|
||||
hello
|
3
tests/chez/chez017/gen_expected.sh
Executable file
3
tests/chez/chez017/gen_expected.sh
Executable file
@ -0,0 +1,3 @@
|
||||
#!/usr/bin/env sh
|
||||
|
||||
sed -e "s|__PWD__|$(pwd)|g" expected.in > expected
|
@ -1,3 +1,4 @@
|
||||
./gen_expected.sh
|
||||
$1 --no-banner dir.idr < input
|
||||
cat testdir/test.txt
|
||||
rm -rf build testdir
|
||||
|
Loading…
Reference in New Issue
Block a user