idris-1.1.0: test/interactive017/run

#!/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