*** empty log message ***

Common/Timer.cpp

-#ifndef WIN32
+#if defined(WIN32) && !defined(__CYGWIN__)
+
+long GetTime(){
+  return 0;
+}
+
+#else
+
 #include <sys/time.h>
 #include <unistd.h>
 long GetTime(){
@@ -6,8 +13,5 @@ long GetTime(){
   gettimeofday(&tp, (struct timezone *)0);
   return (long)tp.tv_sec * 1000000 + (long)tp.tv_usec;
 }
-#else
-long GetTime(){
-	return 0;
-}
+
 #endif

Makefile

-# $Id: Makefile,v 1.50 2001-02-06 07:52:51 geuzaine Exp $
+# $Id: Makefile,v 1.51 2001-02-06 11:21:48 geuzaine Exp $
 # ----------------------------------------------------------------------
 #  Makefile for Gmsh  
 # ----------------------------------------------------------------------