diff options
Diffstat (limited to 'config.bat')
-rw-r--r-- | config.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.bat b/config.bat index e9a180c8eed..4adc477bc95 100644 --- a/config.bat +++ b/config.bat @@ -301,6 +301,7 @@ If Exist sys_time.in.h update sys_time.in.h sys_time.in-h If Exist sys_types.in.h update sys_types.in.h sys_types.in-h
If Exist time.in.h update time.in.h time.in-h
If Exist unistd.in.h update unistd.in.h unistd.in-h
+If Exist stdckdint.in.h update stdckdint.in.h stdckdint.in-h
If Exist gnulib.mk.in update gnulib.mk.in gnulib.mk-in
Rem Only repository has the msdos/autogen directory
If Exist Makefile.in sed -f ../msdos/sedlibcf.inp < Makefile.in > makefile.tmp
|