Changing WCHAR_TYPE from "long int" to "int"?

[Eric Christopher]

> 
> alpha does:
> 
> # grep WCHAR_TYPE defaults.h config/alpha/linux.h
> defaults.h:#ifndef WCHAR_TYPE_SIZE
> defaults.h:#define WCHAR_TYPE_SIZE INT_TYPE_SIZE
> config/alpha/linux.h:#undef WCHAR_TYPE
> config/alpha/linux.h:#define WCHAR_TYPE "int"
> # grep INT_TYPE_SIZE config/alpha/*.h
> config/alpha/alpha.h:#define INT_TYPE_SIZE 32
> 
> So WCHAR_TYPE_SIZE is 32 for Linux/alpha.
> 

Ah ha.  I'd not looked into defaults.h. Ok.  Nevermind then.

-eric


-- 
Look out behind you!