Producer-notix86.patch

   1 --- Producer/include/Producer/Timer~    2004-04-12 18:16:56.000000000 +0200
   2 +++ Producer/include/Producer/Timer     2005-04-01 17:22:59.000000000 +0200
   3 @@ -12,7 +12,7 @@
   4      namespace Producer {
   5          typedef __int64 Timer_t;
   6      }
   7 -#elif defined(__linux) || defined(__FreeBSD__) || defined(__CYGWIN__)|| defined(__MINGW32__)
   8 +#elif defined(__i386__) && (defined(__linux) || defined(__FreeBSD__) || defined(__CYGWIN__)|| defined(__MINGW32__))
   9      namespace Producer {
  10          typedef unsigned long long Timer_t;
  11      }
  12 @@ -129,7 +129,7 @@
  13
  14      }
  15
  16 -#elif defined(__linux) || defined(__FreeBSD__) || defined(__CYGWIN__)
  17 +#elif defined(__i386__) && ( defined(__linux) || defined(__FreeBSD__) || defined(__CYGWIN__) )
  18
  19      #include <sys/time.h>
  20