Skip to content

Commit

Permalink
Install git as a requirement for codecov
Browse files Browse the repository at this point in the history
Codecov depends on git to detect the SHA sum of the repository.
Install as a dependency.
  • Loading branch information
MartinNowack authored and ccadar committed Sep 15, 2021
1 parent 8775b9c commit 57d81af
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/build/p-klee-linux-ubuntu.inc
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ install_build_dependencies_klee() {
)

if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then
dependencies+=(lcov curl)
dependencies+=(lcov curl git)
fi

apt -y --no-install-recommends install "${dependencies[@]}"
Expand Down

0 comments on commit 57d81af

Please sign in to comment.