diff options
Diffstat (limited to 'libgcc/gstdint.h')
| -rw-r--r-- | libgcc/gstdint.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libgcc/gstdint.h b/libgcc/gstdint.h new file mode 100644 index 0000000000..4d61c31844 --- /dev/null +++ b/libgcc/gstdint.h @@ -0,0 +1,6 @@ +/* This header is only for use of libdecnumber built as part of + libgcc. The targets supported for decimal floating point have + <stdint.h>; libdecnumber uses GCC_HEADER_STDINT only for the sake + of the host. */ + +#include <stdint.h> |