diff options
author | David Tolnay <dtolnay@gmail.com> | 2020-03-30 13:18:41 -0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-03-31 09:27:56 +0200 |
commit | 42e3825dafcfc0255471c2213d3c97ddb5a21fa6 (patch) | |
tree | 527bd912c039213f50f241e27eae143c45d311a4 /ci/script.bash | |
parent | 014d7545889667e62eb30f6a5717f00a90616c06 (diff) |
Updates for review of PR 899
Diffstat (limited to 'ci/script.bash')
-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 0a7a3ee8..c53d62e2 100755 --- a/ci/script.bash +++ b/ci/script.bash @@ -17,3 +17,4 @@ fi 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 +cargo check --target "$TARGET" --verbose --lib --no-default-features --features git,paging |