$1 --check fixity.idr

rm -rf build