lean4-htt/tests/pkg/import-case/test.sh
Sebastian Ullrich d5a8c9647f
fix: make import resolution case-sensitive on all platforms (#4538)
Co-authored-by: Mac Malone <tydeu@hatpress.net>
2024-07-31 16:48:14 +00:00

5 lines
144 B
Bash
Executable file

#!/usr/bin/env bash
set -euxo pipefail
rm -rf .lake/build
(lake build 2>&1 && exit 1 || true) | grep --color -F 'module source file not found'