[Bug target/107265] New: error: TARGET_VXWORKS7 was not declared in this scope; did you mean TARGET_VXWORKS

[ibuclaw at gdcproject dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107265

            Bug ID: 107265
           Summary: error: TARGET_VXWORKS7 was not declared in this scope;
                    did you mean TARGET_VXWORKS
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ibuclaw at gdcproject dot org
  Target Milestone: ---

Seen when configuring with --target=aarch64-wrs-vxworks

Looking at config.gcc, aarch64*-*-* is not included in the condition to add the
vxworks-dummy.h header.