From a73e500dedc233ed8b774ed828e39351f1708a2b Mon Sep 17 00:00:00 2001
From: Laurent Thomas <lts@open-cells.com>
Date: Thu, 16 Jun 2022 10:57:27 +0200
Subject: [PATCH] Add a warning for ubuntu 18.04 in build_oai
---
cmake_targets/build_oai | 1 +
1 file changed, 1 insertion(+)
diff --git a/cmake_targets/build_oai b/cmake_targets/build_oai
index 6e788c96766..efe44dcc980 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)
--
GitLab