Add a warning for ubuntu 18.04 in build_oai

2022-06-16 21:42:46 +02:00
parent 7b75305e3c
commit a73e500ded
1 changed files with 1 additions and 0 deletions
@@ -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)