diff options
| -rw-r--r-- | contrib/ChangeLog | 5 | ||||
| -rwxr-xr-x | contrib/conf-w32ce-msc/build.mk | 3 | ||||
| -rwxr-xr-x | contrib/conf-w32ce-msc/stdint.h | 9 |
3 files changed, 16 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 385b7e8..c109306 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2010-11-15 Marcus Brinkmann <[email protected]> + + * conf-w32ce-msc/stdint.h: New file. + * conf-w32ce-msc/build.mk (conf_sources): Add stdint.h. + 2010-11-15 Werner Koch <[email protected]> * conf-w32ce-msc/build.mk (clean): New. diff --git a/contrib/conf-w32ce-msc/build.mk b/contrib/conf-w32ce-msc/build.mk index 66fea50..0909509 100755 --- a/contrib/conf-w32ce-msc/build.mk +++ b/contrib/conf-w32ce-msc/build.mk @@ -74,7 +74,8 @@ sources = \ # Sources files in this directory inclduing this Makefile conf_sources = \ build.mk \ - config.h + config.h \ + stdint.h # Source files built by running the standard build system. built_sources = \ diff --git a/contrib/conf-w32ce-msc/stdint.h b/contrib/conf-w32ce-msc/stdint.h new file mode 100755 index 0000000..0a821b7 --- /dev/null +++ b/contrib/conf-w32ce-msc/stdint.h @@ -0,0 +1,9 @@ +typedef unsigned long long uint64_t; +typedef long long int64_t; +typedef unsigned int uint32_t; +typedef int int32_t; +typedef unsigned short uint16_t; +typedef short int16_t; +typedef unsigned int uintptr_t; +typedef int intptr_t; + |