X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=os%2Fhptime.c;h=33427e6b89c2c094c78c8ccd838ff972c9c6804d;hb=166a481f3faddfa24e3f0e9149a56d8d1e2baefd;hp=e4016d1b55ae561a886bb0e7270f4c1ac97bb780;hpb=087d99a956f41f5e1c62116a0e88a4f6c8c0f718;p=bertos.git

diff --git a/os/hptime.c b/os/hptime.c
index e4016d1b..33427e6b 100755
--- a/os/hptime.c
+++ b/os/hptime.c
@@ -1,8 +1,8 @@
-/*!
+/**
  * \file
  * <!--
  * Copyright 2003, 2004 Develer S.r.l. (http://www.develer.com/)
- * This file is part of DevLib - See devlib/README for information.
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief Portable abstraction for high-resolution time handling (implementation)
@@ -10,20 +10,6 @@
  * \version $Id$
  * \author Bernardo Innocenti <bernie@develer.com>
  */
-
-/*
- * $Log$
- * Revision 1.3  2004/08/10 05:45:04  bernie
- * Fix spacing in header.
- *
- * Revision 1.2  2004/06/03 11:27:09  bernie
- * Add dual-license information.
- *
- * Revision 1.1  2004/06/03 09:01:06  bernie
- * Import into DevLib.
- *
- */
-
 #include "hptime.h"
 
 #if defined(_WIN32)
@@ -47,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>