diff options
author | David Tolnay <dtolnay@gmail.com> | 2020-03-30 10:37:29 -0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-03-31 09:27:56 +0200 |
commit | 4e11abdf9b0b28dfda2ec4904ddf0a82e524a847 (patch) | |
tree | 7ac76bbd0bcbb6df27393708f87852cebbc89fd9 /ci | |
parent | 570805bc985227a8e612878d8f62becd70b7b16a (diff) |
Move git changes 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 7f72ed34..d2055bb2 100755 --- a/ci/script.bash +++ b/ci/script.bash @@ -15,3 +15,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 |