# HG changeset patch
# User mathieub <mathieu.barthet@eecs.qmul.ac.uk>
# Date 1318264028 -3600
# Node ID 773f228f080d04b0ae3211e61aee253a05d9c29c
# Parent  8c410ad4aa97d19bfa2c35fc99f62f7a645d3502
Changed ISINF in system/System.h for win32 compilation:

#define ISINF std::isinf //mathieub: replace with _isinf for osx compilation

diff -r 8c410ad4aa97 -r 773f228f080d system/System.h
--- a/system/System.h	Tue Aug 23 12:05:57 2011 +0100
+++ b/system/System.h	Mon Oct 10 17:27:08 2011 +0100
@@ -57,12 +57,12 @@
 #define getpid _getpid
 
 extern "C" {
-void usleep(unsigned long usec);
+//void usleep(unsigned long usec); //uncomment for osx compilation
 int gettimeofday(struct timeval *p, void *tz);
 }
 
 #define ISNAN _isnan
-#define ISINF _isinf
+#define ISINF std::isinf //replace with _isinf for osx compilation
 
 #else