aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorspreis <spreis@yandex-team.com>2023-10-23 14:43:30 +0300
committerspreis <spreis@yandex-team.com>2023-10-23 15:20:00 +0300
commitd6b5ae15d89d017661fe99befbff4522d6f92717 (patch)
treef18c5a0acc7c08819f58a46cfa49077a86a49377
parentaf74c9c8bc90136faaf77523a0f57f1e893fec93 (diff)
downloadydb-d6b5ae15d89d017661fe99befbff4522d6f92717.tar.gz
Fix trigger for NEED_PROFILE_RUNTIME to correctly support local overrides
-rw-r--r--build/ymake.core.conf7
1 files changed, 3 insertions, 4 deletions
diff --git a/build/ymake.core.conf b/build/ymake.core.conf
index 4a28310160c..51bcaac3704 100644
--- a/build/ymake.core.conf
+++ b/build/ymake.core.conf
@@ -128,14 +128,13 @@ otherwise {
# tag:profile
NEED_PROFILE_RUNTIME=no
-when ($BUILD_TYPE == "PROFILE" || $BUILD_TYPE == "COVERAGE" || ($CLANG_COVERAGE && $CLANG_COVERAGE != "no") || $GCOV_COVERAGE == "yes") {
+when ($BUILD_TYPE == "PROFILE" || $BUILD_TYPE == "COVERAGE" || ($CLANG_COVERAGE && $CLANG_COVERAGE != "no") || $GCOV_COVERAGE == "yes" || $PGO_ADD == "yes") {
when($CLANG && ($TARGET_PLATFORM == "LINUX" || $TARGET_PLATFORM == "DARWIN")) {
NEED_PROFILE_RUNTIME=yes
}
}
-
-when ($PGO_ADD == "yes") {
- NEED_PROFILE_RUNTIME=yes
+otherwise {
+ NEED_PROFILE_RUNTIME=no
}
when ($NEED_PROFILE_RUNTIME == "yes") {