Drop obsolete SETTING_BINPKG_SERVER_DEV variable

This isn't used anywhere, and the referenced bucket is empty.

Signed-off-by: James Le Cuirot <jlecuirot@microsoft.com>
This commit is contained in:
James Le Cuirot 2025-04-16 12:29:51 +01:00
parent 50d7dd1a84
commit e57080daf3
No known key found for this signature in database
GPG Key ID: 1226415D00DD3137
2 changed files with 1 additions and 3 deletions

View File

@ -43,8 +43,7 @@ Usage: $0 FLAGS...
--file FILE: Modify another file than ${FILE}, useful if run
outside of the SDK chroot. If /dev/stdout or
/dev/stderr is used, only new values are printed.
--binhost Use a custom binhost (defaults to '${DEFAULT_BASE_URL}'),
e.g., '${SETTING_BINPKG_SERVER_DEV}'.
--binhost Use a custom binhost (defaults to '${DEFAULT_BASE_URL}').
This will update BOARD and SDK URLs accordingly.
"
exit 1

View File

@ -4,5 +4,4 @@
SETTING_BINPKG_SERVER_PROD="https://mirror.release.flatcar-linux.net"
# development servers / bin caches.
SETTING_BINPKG_SERVER_DEV="https://bucket.release.flatcar-linux.net/flatcar-jenkins"
SETTING_BINPKG_SERVER_DEV_CONTAINERISED="https://bincache.flatcar-linux.net"