Commit b3e5c678 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

hadrian: Throw error on duplicate-named flavours

Throw an error if the user requests a flavour for which there is more
than one match.

Fixes #17156.
parent 0a5e4f5f
Pipeline #15076 failed with stages
in 1 minute and 13 seconds