mirror of
git://git.savannah.gnu.org/config.git
synced 2025-05-26 09:06:38 +12:00

I'm not sure why this was originally added. It's certainly not needed anymore because the OS will never be duplicated onto the send of the `basic_machine`. If the user passed `unknown` or no vendor, this will already be filled in. If they passed something more specific, it's customary to respect that. Signed-off-by: Ben Elliston <bje@gnu.org>
Description
No description provided
Languages
Perl
77.6%
Shell
18.9%
Makefile
3.5%