From 75f0d657bbee330d7637385f2694703e6e4e765a Mon Sep 17 00:00:00 2001 From: Marc Durdin Date: Sun, 10 Aug 2025 05:03:01 +0200 Subject: [PATCH] maint(ios): add todo on --pr-number Build-bot: skip --- resources/teamcity/ios/keyman-ios-test.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/resources/teamcity/ios/keyman-ios-test.sh b/resources/teamcity/ios/keyman-ios-test.sh index 077de1b2c1..a8752391d8 100755 --- a/resources/teamcity/ios/keyman-ios-test.sh +++ b/resources/teamcity/ios/keyman-ios-test.sh @@ -21,6 +21,13 @@ THIS_SCRIPT="$(readlink -f "${BASH_SOURCE[0]}")" ################################ Main script ################################ +# TODO: remove unused `--pr-number` option. Unfortunately, the mechanism we +# designed to skip this, `--builder-ignore-unknown-options`, does not work for +# options with values. We need another one, for example, something like +# `--builder-ignore-unknown-value-options=pr-number[,...]`, so for now I will +# leave it alone. The option ultimately needs to be removed from the TC build +# configuration also. (Unused as of #14466) + builder_describe \ "Build KeymanEngine and Keyman for iOS" \ "all run all actions" \