Closed
Description
The majority of targets use target_os = "none"
/ target_vendor = "unknown"
respectively, but some targets deviate and use target_os = "unknown"
/ target_vendor = ""
.
Possible solutions:
- There's no difference between "", "none" and "unknown", normalize to the more common variants.
- There are deep reasons for the status quo, keep and document it.
- 50 / 50 of the above.