disable time package on mingw to unblock builds.
authorsof@galois.com <unknown>
Mon, 5 Jun 2006 16:51:25 +0000 (16:51 +0000)
committersof@galois.com <unknown>
Mon, 5 Jun 2006 16:51:25 +0000 (16:51 +0000)
libraries/Makefile

index cc4ee0f..f64293c 100644 (file)
@@ -31,7 +31,9 @@ SUBDIRS += $(wildcard HUnit)
 SUBDIRS += $(wildcard mtl)
 SUBDIRS += $(wildcard fgl)
 SUBDIRS += $(wildcard X11)
+ifneq "$(Windows)" "YES"
 SUBDIRS += $(wildcard time)
+endif
 SUBDIRS += $(wildcard HGL)
 SUBDIRS += $(wildcard OpenGL)
 SUBDIRS += $(wildcard GLUT)