git.iko.soy/Idris-dev
on b3ee2df help sign in
Idris-dev/test/pkg004/run
6 lines 261 B history raw
1#!/usr/bin/env bash
2### Test: IPKG executable names CANNOT include a directory separator.
3# TODO: Verify that a name like "a/b\c" is rejected by both *NIX and Windows
4# (assuming these tests get run on Windows).
5${IDRIS:-idris} $@ --build test.ipkg
6rm -f *.ibc