// { dg-additional-options "-fmodules-ts -fmodule-mapper=[srcdir]/map-2.map" } | |
// Ick! no cross-host testing for you! | |
// { dg-additional-files map-2.map } | |
export module foo; | |
// { dg-error "Interface: no such module" "" { target *-*-* } .-1 } | |
// { dg-error "failed reading mapper" "" { target *-*-* } 0 } | |
// { dg-prune-output "not writing module" } |