Merge pull request #14413 from keymanapp/maint/windows/14412_fixrelease

A recent change (#14324) consolidated (and thus renamed) some functions that were in several places. A PR that got created earlier but merged later (#14267) added new functionality that still used the old function names. This lead to release build failures on Windows and Developer.

This change fixes the names of the called functions.

Fixes: #14412
Follow-up-of: #14324
Follow-up-of: #14267
This commit is contained in:
Eberhard Beilharz 2025-07-26 11:33:23 +02:00 committed by GitHub
commit 440d0db046
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -4,7 +4,7 @@
# Shared functions for any builds that run on Windows agents
ba_win_download_symbol_server_index() {
if ! is_windows; then
if ! builder_is_windows; then
builder_die "ba_win_download_symbol_server_index should only be run on Windows agents"
fi
@ -24,7 +24,7 @@ ba_win_download_symbol_server_index() {
}
ba_win_publish_new_symbols() {
if ! is_windows; then
if ! builder_is_windows; then
builder_die "ba_win_publish_new_symbols should only be run on Windows agents"
fi