L4Re target missing in target-list



I’m working on the update of the L4Re target specification (librustc_back/target/x86_64-unknown-l4re-uclibc). L4Re change the linker from ld to a custom script (called bender) and the idea is to use rustc -Z linker=bender --target=x86_64-…l4re… to invoke it.

When I build the new specification, the L4Re target does not show up using rustc --print target-list. The target has been added to target/mod.rs.

What would be a good way to debug this?

The code is at https://github.com/humenda/rust.