diff options
author | Fahmi Akbar Wildana <f.a.wildana@gmail.com> | 2019-10-06 14:21:05 +0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2019-10-20 21:43:51 +0200 |
commit | cf68b13322f4c73671d7ea55324add58059af467 (patch) | |
tree | c05b47fdfdca91ff05c56627d9d5e925355a8c3a /ci | |
parent | 837d0998da6c81c81b56570dc157b9ad98f3b7da (diff) |
Fix CI 'src/main.rs': No such file or directory
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/script.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/script.bash b/ci/script.bash index fc874b96..db608c16 100755 --- a/ci/script.bash +++ b/ci/script.bash @@ -10,5 +10,5 @@ if [[ $TARGET != arm-unknown-linux-gnueabihf ]] && [[ $TARGET != aarch64-unknown cargo test --target "$TARGET" --verbose # Run 'bat' on its own source code and the README - cargo run --target "$TARGET" -- src/main.rs README.md --paging=never + cargo run --target "$TARGET" -- src/bin/bat/main.rs README.md --paging=never fi |