elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

stdint.h is considered a freestanding headers by C, and a valid stdint.h
is required for certain parts of libstdc++' configuration, so we should
simply provide one when we have no other way (i.e. newlib or
user-specified sysroot) of getting one.

	* config.gcc: --target=*-elf --without-{newlib,headers} should
	provide stdint.h.

diff --git a/gcc/config.gcc b/gcc/config.gcc
index 8d5972fecf7ad0f325ccdf09be37a5c26a681c60..2af30b4a6ecced56a0e288b42246304120c890da 100644 (file)
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -1082,6 +1082,11 @@ case ${target} in
   # Assume that newlib is being used and so __cxa_atexit is provided.
   default_use_cxa_atexit=yes
   use_gcc_stdint=wrap
+
+  case "${with_newlib}-${with_headers}" in
+  no-no) use_gcc_stdint=provide ;;
+  *) ;;
+  esac
   ;;
 esac