diff --git a/.drone.jsonnet b/.drone.jsonnet index 6a6d4b26..749d513d 100644 --- a/.drone.jsonnet +++ b/.drone.jsonnet @@ -10,8 +10,8 @@ local triggers = }; local ubsan = { UBSAN: '1', UBSAN_OPTIONS: 'print_stacktrace=1' }; -local asan = { ASAN: '1', ASAN_OPTIONS: 'privileged=True' }; -local tsan = { TSAN: '1', TSAN_OPTIONS: 'privileged=True' }; +local asan = { ASAN: '1' }; +local tsan = { TSAN: '1' }; 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", image: image, environment: environment, + privileged: true, commands: [ 'set -e', diff --git a/.drone/drone.sh b/.drone/drone.sh index 60f06760..ed7837bb 100755 --- a/.drone/drone.sh +++ b/.drone/drone.sh @@ -14,6 +14,11 @@ DRONE_BUILD_DIR=$(pwd) BOOST_BRANCH=develop 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 .. git clone -b $BOOST_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root cd boost-root