mirror of
https://github.com/sharkdp/bat.git
synced 2025-09-01 19:02:22 +01:00
Fix CI 'src/main.rs': No such file or directory
This commit is contained in:
committed by
David Peter
parent
837d0998da
commit
cf68b13322
2
ci/script.bash
vendored
2
ci/script.bash
vendored
@@ -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
|
||||
|
Reference in New Issue
Block a user