diff options
author | David Tolnay <dtolnay@gmail.com> | 2020-03-30 10:36:26 -0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-03-31 09:27:56 +0200 |
commit | 014d7545889667e62eb30f6a5717f00a90616c06 (patch) | |
tree | f5b9136f02293df65801e49bf7b14c704c3d0449 /ci | |
parent | 4e11abdf9b0b28dfda2ec4904ddf0a82e524a847 (diff) |
Move paging support behind a feature
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/script.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/script.bash b/ci/script.bash index d2055bb2..0a7a3ee8 100755 --- a/ci/script.bash +++ b/ci/script.bash @@ -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 |