Use one idris process for reg003
commit2be265da7e1b67cb8c70906710ec956faf5a8b8f
authorSteven Shaw <steven@steshaw.org>
dateFri 5 Aug 2016, 14:16 (10 years ago)
parent691e704
test/reg003/run+1−2
@@ -1,4 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --check reg003.idr
3−${IDRIS:-idris} $@ --check reg003a.idr
2+${IDRIS:-idris} $@ --check reg003.idr reg003a.idr
43rm -f *.ibc