Run cargo check instead of build in Makefile
This file is only intended for getting compile errors into the editor
and check is faster in doing that.
@@ -9,7 +9,7 @@ t: c
sh run-tests.sh tests/filter/*.t
c:
- cargo build --workspace --message-format=json | python3 ./scripts/rerr.py
+ cargo check --workspace --message-format=json | python3 ./scripts/rerr.py
f:
cargo fmt
