bootstrap: error early if any codegen-backends is set to []

This commit is contained in:
Guillaume Gomez 2025-08-26 17:02:41 +02:00
parent 4356e83c77
commit 5ce678a7bc

View file

@ -415,6 +415,10 @@ pub(crate) fn parse_codegen_backends(
};
found_backends.push(backend);
}
if found_backends.is_empty() {
eprintln!("ERROR: `{section}.codegen-backends` should not be set to `[]`");
exit!(1);
}
found_backends
}