Skip to content
Snippets Groups Projects

Draft: pthread_create, RT scheduler, and address sanitizer are incompatible in Ubuntu 18.04

Merged Melissa requested to merge ubuntu_18_rt_add_san_incompatibility into develop
1 file
+ 1
0
Compare changes
  • Side-by-side
  • Inline
+ 1
0
@@ -445,6 +445,7 @@ function main() {
MAKE_CMD=ninja
shift;;
--sanitize-address | -fsanitize=address)
grep -sq "Ubuntu 18.04" /etc/os-release && echo_error "Bug in OS with this option, see CmakeList.txt"
CMAKE_CMD="$CMAKE_CMD -DSANITIZE_ADDRESS=True"
shift;;
--ittiSIM)
Loading