diff options
Diffstat (limited to 'pc/config.sed')
| -rw-r--r-- | pc/config.sed | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pc/config.sed b/pc/config.sed index 5b3cc32f..a7ba8788 100644 --- a/pc/config.sed +++ b/pc/config.sed @@ -273,6 +273,8 @@ s/^#undef HAVE_VPRINTF *$/#define HAVE_VPRINTF 1/ #ifdef __DJGPP__\ #define HAVE__BOOL 1\ #endif +/^#undef PRINTF_HAS_A_FORMAT *$/c\ +#define PRINTF_HAS_A_FORMAT 1 /^#undef PRINTF_HAS_F_FORMAT *$/c\ #ifdef __DJGPP__\ #define PRINTF_HAS_F_FORMAT 1\ |