search

FoundationDB / fdb-joshua

FoundationDB Correctness service
Apache License 2.0
28 stars 25 forks source link

update valgrind version, switch to devtoolset-11 to match dev image #90

Closed ammolitor closed 1 year ago

ammolitor commented 1 year ago

align tools with devel image

sfc-gh-kmakino commented 1 year ago

aarch64 CentOS7 currently does not provide devtoolset-11. Ideally we need to provide the user a way to change the devtoolset version. We have a pending PR to do this for the FDB build image. https://github.com/FoundationDB/fdb-build-support/pull/48 Can we do something similar here?

ammolitor commented 1 year ago

aarch64 CentOS7 currently does not provide devtoolset-11. Ideally we need to provide the user a way to change the devtoolset version. We have a pending PR to do this for the FDB build image. FoundationDB/fdb-build-support#48 Can we do something similar here?

done ( I think 🙃 )