mirror of
https://pagure.io/fm-orchestrator.git
synced 2026-04-01 18:01:40 +08:00
Currently, the PLATFORM_ID is parsed from the `/etc/os-release`. This is good default value, but sometimes you want to build module locally against the different platform stream. For example building on platform:f29 against the platform:f30 modules. In that case, we need to be able to override the host PLATFORM_ID and set it manually chosen value.