> The only thing that hinted me into thinking that there was some significance > to using newlib vs glibc, was the fact that the libstdc++ configure script > was including newlib headers from ~/libstdc++-v3/config/os/newlib instead > djgpp headers from ~/libstdc++-v3/config/os/djgpp That would be a bug.