diff --git a/cmake_targets/build_oai b/cmake_targets/build_oai index 6e788c9676692c1419be71219e01352e70f147f0..efe44dcc9808ea36da7c87db2e7373bfdc244e3a 100755 --- a/cmake_targets/build_oai +++ b/cmake_targets/build_oai @@ -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 CMakeLists.txt" CMAKE_CMD="$CMAKE_CMD -DSANITIZE_ADDRESS=True" shift;; --ittiSIM)