Add resource.
[bertos.git] / os / hptime.c
index 57ccf34df46462c52fa6657a199558f5e47b30d7..71e920ca5d8d24a5212a633471a6133dd32c54b2 100755 (executable)
@@ -1,4 +1,4 @@
-/*!
+/**
  * \file
  * <!--
  * Copyright 2003, 2004 Develer S.r.l. (http://www.develer.com/)
 
 /*#*
  *#* $Log$
+ *#* Revision 1.8  2006/07/19 12:56:28  bernie
+ *#* Convert to new Doxygen style.
+ *#*
+ *#* Revision 1.7  2006/07/19 12:53:58  bernie
+ *#* Documentation fixes.
+ *#*
  *#* Revision 1.6  2006/02/20 01:46:46  bernie
  *#* Port to MacOSX.
  *#*
@@ -56,7 +62,7 @@ hptime_t hptime_get(void)
        return (((hptime_t)ft.dwHighDateTime) << 32) + (hptime_t)ft.dwLowDateTime;
 }
 
-#elif defined(__unix__) || defined(__APPLE__) && defined(__MACH__)
+#elif defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
 
 #include <sys/time.h>