jikes.patch 898 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. --- src/platform.h.dist 2003-07-02 15:59:23.000000000 +0200
  2. +++ src/platform.h 2003-07-02 15:59:50.000000000 +0200
  3. @@ -141,6 +141,18 @@
  4. # include <time.h>
  5. #endif
  6. +//
  7. +// In the compiler, we want EXACT control over signed and unsigned values
  8. +// of certain bit widths. Configure should have already found us what we need.
  9. +//
  10. +#if HAVE_INTTYPES_H
  11. +# include <inttypes.h>
  12. +#else
  13. +# if HAVE_STDINT_H
  14. +# include <stdint.h>
  15. +# endif
  16. +#endif // HAVE_INTTYPES_H
  17. +
  18. // C++ standard support
  19. #ifdef HAVE_STD
  20. @@ -183,18 +195,6 @@
  21. #endif
  22. -//
  23. -// In the compiler, we want EXACT control over signed and unsigned values
  24. -// of certain bit widths. Configure should have already found us what we need.
  25. -//
  26. -#if HAVE_INTTYPES_H
  27. -# include <inttypes.h>
  28. -#else
  29. -# if HAVE_STDINT_H
  30. -# include <stdint.h>
  31. -# endif
  32. -#endif // HAVE_INTTYPES_H
  33. -
  34. typedef uint8_t u1;
  35. typedef int8_t i1;
  36. typedef uint16_t u2;