dist/tools/ci: print toolchain version update for esp8266#13027
Conversation
The new ESP8266 port in PR RIOT-OS#11108 requires a different tool chain than the previous implementation. The version check must be updated accordingly.
|
Before install or if running in docker: After install |
|
I took a quick look at discussion in #11808 and it seem at first you wanted to support both toolchain, but here you remove one of them. Did that change? |
The old toolchain is no longer needed with the current master. The CI tools should therefore check for the new toolchain and not for the old toolchain. In the |
|
@gschorcht perfect! Thanks for the clarification! ACK! |
|
@fjmolinas Thanks for reviewing, testing and merging it. |
Contribution description
The new ESP8266 port in PR #11108 uses a different tool chain than the previous implementation. The version check must be updated accordingly.
Testing procedure
Without this PR the output of command
dist/tools/ci/print_toolchain_versions.shshould either showor
With this PR it should show:
Issues/PRs references
Needed because of PR #11108