From af60bb6f916eec4f33505d5c0ffaf547119c81ae Mon Sep 17 00:00:00 2001
From: "sof@galois.com" <unknown>
Date: Mon, 5 Jun 2006 16:51:25 +0000
Subject: [PATCH] disable time package on mingw to unblock builds.

---
 libraries/Makefile |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/libraries/Makefile b/libraries/Makefile
index cc4ee0f..f64293c 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -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)
-- 
1.7.10.4