idris-0.10.3: test/primitives006/run

#!/usr/bin/env bash
${CC:-cc} -c -O2 -o array.o array.c $(${IDRIS:-idris} --include)
${IDRIS:-idris} $@ -o load-test load-test.idr --nocolour --warnreach
./load-test
rm -f load-test *.o *.ibc
find -name \*.ibc -delete