on master help sign in
Merge pull request #750 from hannesm/fix-reg029

fixes reg029 to not use set -u (which does not exist on macosx)

commit0e0353183d12ea93f2408c79203bccde86fe4fc3 authorEdwin Brady <edwin.brady@gmail.com> dateSun 22 Dec 2013, 07:17 (13 years ago) parent4218126078f567
1 file changed+4−2
test/reg029/run+4−2
test/reg029/run+4−2
@@ -1,5 +1,7 @@
11#!/usr/bin/env bash
22idris $@ reg029.idr -o reg029
3−env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' ./reg029
4−env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' idris $@ reg029.idr --exec
3+unset IDRIS_REG029_NONEXISTENT_VAR
4+export IDRIS_REG029_EXISTENT_VAR='exists!'
5+./reg029
6+idris $@ reg029.idr --exec
57rm -f reg029 *.ibc