Hi Tobias! On 2022-07-06T15:30:57+0200, Tobias Burnus wrote: > On 06.07.22 14:38, Thomas Schwinge wrote: >> :-) Haha, that's actually *exactly* what I had implemented first! But >> then I realized that 'target offloading_enabled' is doing exactly that: >> check that offloading compilation is configured -- not that "there is an >> offloading device available or not" as you seem to understand? Or am I >> confused there? > > I think as you mentioned below – there is a difference. Eh, thanks for un-confusing me on that aspect! There's a reason after all that 'offloading_enabled' lives in 'gcc/testsuite/lib/'... > And that difference, > I explicitly maked use of: [...] > Granted, as the other files do not use -foffload=..., it should not > make a difference - but, still, replacing it unconditionally > with 'target offloading_enabled' feels wrong. ACK! I've pushed to master branch commit 9ef714539cb7cc1cd746312fd5dcc987bf167471 "Fix Intel MIC 'mkoffload' for OpenMP 'requires'", see attached. Grüße Thomas ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955