This cause the values from the user environment to be appended to the
options, allowing for adding options or overriding some. Update the CI
to use this feature.
Depends on D5689.
Differential D5695
Allow to extend and override the sanitizers options Fabien on Apr 10 2020, 14:52. Authored by
Details
This cause the values from the user environment to be appended to the Depends on D5689. Run the build-asan, build-ubsan and build-tsan CI builds.
Diff Detail
Event Timeline
|