git.iko.soy/Idris-dev
on master help sign in
test for file existence
ab47462Alex Gryzlov
test/ffi013/expected+2
compare with master
unifiedsplit
@@ -1,2 +1,4 @@
1success
1success
2+confirmed
2success
3success
4+confirmed
test/ffi013/run+10
@@ -2,6 +2,16 @@
2echo "test" > remove.me
2echo "test" > remove.me
3${IDRIS:-idris} $@ --quiet --port none ffi013.idr -o ffi013
3${IDRIS:-idris} $@ --quiet --port none ffi013.idr -o ffi013
4./ffi013
4./ffi013
5+if [ -f "remove.me" ]; then
6+ echo "still exists"
7+else
8+ echo "confirmed"
9+fi
5echo "test2" > remove.me
10echo "test2" > remove.me
6${IDRIS:-idris} $@ --quiet --port none --nocolour ffi013.idr --exec main
11${IDRIS:-idris} $@ --quiet --port none --nocolour ffi013.idr --exec main
12+if [ -f "remove.me" ]; then
13+ echo "still exists"
14+else
15+ echo "confirmed"
16+fi
7rm -f ffi013 remove.me *.ibc
17rm -f ffi013 remove.me *.ibc