mirror of
https://github.com/sharkdp/bat.git
synced 2025-08-09 15:55:10 +02:00
Move paging support behind a feature
This commit is contained in:
committed by
David Peter
parent
4e11abdf9b
commit
014d754588
1
ci/script.bash
vendored
1
ci/script.bash
vendored
@ -16,3 +16,4 @@ fi
|
||||
# Check bat-as-a-library, which has a smaller set of dependencies
|
||||
cargo check --target "$TARGET" --verbose --lib --no-default-features
|
||||
cargo check --target "$TARGET" --verbose --lib --no-default-features --features git
|
||||
cargo check --target "$TARGET" --verbose --lib --no-default-features --features paging
|
||||
|
Reference in New Issue
Block a user