idris-0.9.11: test/buffer001-disabled/run

#!/usr/bin/env bash
idris $@ buffer001.idr -o buffer001
./buffer001
rm -f buffer001 *.ibc