boost_mirror/unordered
1
0
Fork 0
mirror of https://github.com/boostorg/unordered.git synced 2025-05-11 05:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix asan and tsan jobs on Drone (#264)

Browse Source
This commit is contained in:
Dmitry 2024-07-15 13:38:32 +03:00 committed by GitHub
parent ac1a2b4d23
commit 3ad8ac4c34
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.drone.jsonnet
View File

@ -10,8 +10,8 @@ local triggers =
}; };
local ubsan = { UBSAN: '1', UBSAN_OPTIONS: 'print_stacktrace=1' }; local ubsan = { UBSAN: '1', UBSAN_OPTIONS: 'print_stacktrace=1' };
local asan = { ASAN: '1', ASAN_OPTIONS: 'privileged=True' }; local asan = { ASAN: '1' };
local tsan = { TSAN: '1', TSAN_OPTIONS: 'privileged=True' }; local tsan = { TSAN: '1' };
local linux_pipeline(name, image, environment, packages = "", sources = [], arch = "amd64") = local linux_pipeline(name, image, environment, packages = "", sources = [], arch = "amd64") =
{ {
@ -30,6 +30,7 @@ local linux_pipeline(name, image, environment, packages = "", sources = [], arch
name: "everything", name: "everything",
image: image, image: image,
environment: environment, environment: environment,
privileged: true,
commands: commands:
[ [
'set -e', 'set -e',

5
.drone/drone.sh
View File

@ -14,6 +14,11 @@ DRONE_BUILD_DIR=$(pwd)
BOOST_BRANCH=develop BOOST_BRANCH=develop
if [ "$DRONE_BRANCH" = "master" ]; then BOOST_BRANCH=master; fi if [ "$DRONE_BRANCH" = "master" ]; then BOOST_BRANCH=master; fi
if [[ $(uname) == "Linux" && ( "$TSAN" == 1 || "$ASAN" == 1 ) ]]; then
echo 0 | sudo tee /proc/sys/kernel/randomize_va_space
sudo sysctl vm.mmap_rnd_bits=28
fi
cd .. cd ..
git clone -b $BOOST_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root git clone -b $BOOST_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root
cd boost-root cd boost-root