diff options
author | David Tolnay <dtolnay@gmail.com> | 2020-03-30 09:43:13 -0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-03-31 09:27:56 +0200 |
commit | 570805bc985227a8e612878d8f62becd70b7b16a (patch) | |
tree | 5a07630c0eb1596d26657f6b34133ee4997802ae /ci/script.bash | |
parent | e7e1967bb0c4ef4a5d90f093e2562b214e28c7c8 (diff) |
Strip dependencies of bat-as-a-library
Diffstat (limited to 'ci/script.bash')
-rwxr-xr-x | ci/script.bash | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/script.bash b/ci/script.bash index db608c16..7f72ed34 100755 --- a/ci/script.bash +++ b/ci/script.bash @@ -12,3 +12,6 @@ if [[ $TARGET != arm-unknown-linux-gnueabihf ]] && [[ $TARGET != aarch64-unknown # Run 'bat' on its own source code and the README cargo run --target "$TARGET" -- src/bin/bat/main.rs README.md --paging=never fi + +# Check bat-as-a-library, which has a smaller set of dependencies +cargo check --target "$TARGET" --verbose --lib --no-default-features |