| John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame^] | 1 | /* |
| 2 | * Header file: stdint.h | ||||
| 3 | * | ||||
| 4 | * Description: | ||||
| 5 | * This header file is the autoconf replacement for stdint.h (if it lives | ||||
| 6 | * on the system). | ||||
| 7 | */ | ||||
| 8 | |||||
| 9 | #ifndef _CONFIG_STDINT_H | ||||
| 10 | #define _CONFIG_STDINT_H | ||||
| 11 | |||||
| 12 | #include "Config/config.h" | ||||
| 13 | |||||
| 14 | #ifdef HAVE_STDINT_H | ||||
| 15 | #include <stdint.h> | ||||
| 16 | #endif | ||||
| 17 | |||||
| 18 | #endif | ||||