diff options
author | Dan Davison <dandavison7@gmail.com> | 2020-05-26 01:02:57 -0400 |
---|---|---|
committer | Dan Davison <dandavison7@gmail.com> | 2020-05-26 10:46:09 -0400 |
commit | d0db4232109217262a524497aeeb2b8b1fd695d8 (patch) | |
tree | 66ff81e0d43a7e7108f47eba5c408e95d95553dd /ci | |
parent | e6850387b3c84b2f2c24f8e885b627992edd370d (diff) |
Add test of deprecated options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/script.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 51e638d6..0237e644 100755 --- a/ci/script.sh +++ b/ci/script.sh @@ -10,6 +10,7 @@ if [[ $TARGET != arm-unknown-linux-gnueabihf ]] && [[ $TARGET != aarch64-unknown cargo test --target "$TARGET" --verbose cargo build --release ./tests/test_color_only_output_matches_git_on_full_repo_history + ./tests/test_deprecated_options > /dev/null cargo run --target "$TARGET" -- < /dev/null fi |