Idris2/tests/chez/chez013/run
2023-09-07 14:57:22 +01:00

16 lines
212 B
Plaintext
Executable File

. ../../testutils.sh
case $(uname -s) in
OpenBSD | FreeBSD | NetBSD)
MAKE=gmake
;;
*)
MAKE=make
;;
esac
${MAKE} all > /dev/null
run Struct.idr
${MAKE} clean > /dev/null