on 0b669c7 help sign in
Idris-dev/test/base001
8 files
../ MakefileUse $CC instead of gcc base001.idrAdded test case for System.system (#3281) base001.ipkgAdded test case for System.system (#3281) exit1.cAdd support for running tests on OpenBSD, fixes #3964 expectedReverted changes to verbosity reporting. runTidy stderr from `base001` more portably. sys.cAdd support for running tests on OpenBSD, fixes #3964 sys.hAdded test case for System.system (#3281)