Define wint_t for VxWorks

[Nathan Sidwell]

Richard Sandiford wrote:
> The default wint_t is "unsigned int", but VxWorks RTPs use "unsigned short"
> instead (as they do for wchar_t).  The kernel headers don't provide a
> wchar.h header, so there are no compatiblity issues there.
> 
> For context, the preceding code is:
> 
>    /* VxWorks uses wchar_t == unsigned short (UCS2) on all architectures.  */
>    #undef WCHAR_TYPE
>    #define WCHAR_TYPE "short unsigned int"
>    #undef WCHAR_TYPE_SIZE
>    #define WCHAR_TYPE_SIZE 16
> 
> Tested on i586-wrs-vxworks, where it fixes gcc.dg/wint_t-1.c.
> Ok to install?

ok

-- 
Nathan Sidwell    ::   http://www.codesourcery.com   ::         CodeSourcery
nathan@codesourcery.com    ::     http://www.planetfall.pwp.blueyonder.co.uk