@@ -1,5 +1,7 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2idris $@ reg029.idr -o reg029
2idris $@ reg029.idr -o reg029
3+unset IDRIS_REG029_NONEXISTENT_VAR
3−env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' ./reg029
4+export IDRIS_REG029_EXISTENT_VAR='exists!'
4−env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' idris $@ reg029.idr --exec
5+./reg029
6+idris $@ reg029.idr --exec
5rm -f reg029 *.ibc
7rm -f reg029 *.ibc