| /* | |
| * Header file: stdint.h | |
| * | |
| * Description: | |
| * This header file is the autoconf replacement for stdint.h (if it lives | |
| * on the system). | |
| */ | |
| #ifndef _CONFIG_STDINT_H | |
| #define _CONFIG_STDINT_H | |
| #include "Config/config.h" | |
| #ifdef HAVE_STDINT_H | |
| #include <stdint.h> | |
| #endif | |
| #endif |