idris-1.3.3: test/interactive017/run.sh

#!/bin/sh
PATH="../../scripts:$PATH"
./shebang.idr
./shebang.idr
./shebang-node.idr
./shebang-node.idr
./shebang-args.idr aaa
./shebang-args.idr bbb aaa
./shebang-import.idr