/erts/autoconf/vxworks/

• ../
• sed.general
• sed.vxworks_cpu32
• sed.vxworks_ppc32
• sed.vxworks_ppc603
• sed.vxworks_ppc603_nolongcall
• sed.vxworks_ppc860
• sed.vxworks_simlinux
• sed.vxworks_simso
• sed.vxworks_sparc