. ../../testutils.sh

idris2 --build dummy.ipkg

./custom_output/check_dir

rm -rf custom_build custom_output
