Don't absorb error from missing plt-r5rs.
Cat's Eye Technologies
9 years ago
0 | 0 |
#!/bin/sh
|
1 | 1 |
|
2 | 2 |
cd src
|
3 | |
plt-r5rs tests.scm | tee test-output.txt
|
|
3 |
plt-r5rs tests.scm > test-output.txt || exit 1
|
|
4 |
cat test-output.txt
|
4 | 5 |
if grep -q FAILED test-output.txt; then
|
5 | 6 |
echo "FAILED"
|
6 | 7 |
rm test-output.txt
|