Do not cast constants because we need to evaluate them with the preprocessor.
[bertos.git] / os / hptime.c
index 07b0a30fd4a3eedc9ce66895002e6427705b7974..33427e6b89c2c094c78c8ccd838ff972c9c6804d 100755 (executable)
@@ -1,8 +1,8 @@
-/*!
+/**
  * \file
  * <!--
- * Copyright 2003,2004 Develer S.r.l. (http://www.develer.com/)
- * All rights reserved.
+ * Copyright 2003, 2004 Develer S.r.l. (http://www.develer.com/)
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief Portable abstraction for high-resolution time handling (implementation)
  * \version $Id$
  * \author Bernardo Innocenti <bernie@develer.com>
  */
-
-/*
- * $Log$
- * Revision 1.1  2004/06/03 09:01:06  bernie
- * Import into DevLib.
- *
- */
-
 #include "hptime.h"
 
 #if defined(_WIN32)
@@ -41,7 +33,7 @@ hptime_t hptime_get(void)
        return (((hptime_t)ft.dwHighDateTime) << 32) + (hptime_t)ft.dwLowDateTime;
 }
 
-#elif defined(__unix__)
+#elif defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
 
 #include <sys/time.h>