Fix test runner.
commitb6449de167b7ccee9136e7cf6b15c341f465e949
authorMatus Tejiscak <ziman@functor.sk>
dateFri 12 Feb 2016, 14:39 (11 years ago)
parent85fde4c
test/primitives006/run+2−2
@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
2−cc -c -O2 -o array.o array.c `idris --include`
3−idris $@ -o load-test load-test.idr --nocolour --warnreach
2+${CC:-cc} -c -O2 -o array.o array.c $(${IDRIS:-idris} --include)
3+${IDRIS:-idris} $@ -o load-test load-test.idr --nocolour --warnreach
44./load-test
55rm -f load-test *.o *.ibc
66find -name \*.ibc -delete