@@ -2,6 +2,16 @@
22echo "test" > remove.me
33${IDRIS:-idris} $@ --quiet --port none ffi013.idr -o ffi013
44./ffi013
5+if [ -f "remove.me" ]; then
6+ echo "still exists"
7+else
8+ echo "confirmed"
9+fi
510echo "test2" > remove.me
611${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
717rm -f ffi013 remove.me *.ibc