diff options
author | spreis <spreis@yandex-team.com> | 2023-10-23 14:43:30 +0300 |
---|---|---|
committer | spreis <spreis@yandex-team.com> | 2023-10-23 15:20:00 +0300 |
commit | d6b5ae15d89d017661fe99befbff4522d6f92717 (patch) | |
tree | f18c5a0acc7c08819f58a46cfa49077a86a49377 | |
parent | af74c9c8bc90136faaf77523a0f57f1e893fec93 (diff) | |
download | ydb-d6b5ae15d89d017661fe99befbff4522d6f92717.tar.gz |
Fix trigger for NEED_PROFILE_RUNTIME to correctly support local overrides
-rw-r--r-- | build/ymake.core.conf | 7 |
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") { |