idris-1.3.3: test/primitives004-disabled/run.sh

#!/usr/bin/env bash
${IDRIS:-idris} $@ -o primitives004 primitives004.idr --nocolour
./primitives004
rm -f primitives004 *.ibc