From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Thu, 31 Oct 2013 19:44:25 +0000 (-0700)
Subject: gtk: re-generate gtk-*.pkd when gtk.pkg changes.
X-Git-Tag: mit-scheme-pucked-9.2.12~443
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=1144a1670b7c432c842da2bdc019cf1495beb828;p=mit-scheme.git

gtk: re-generate gtk-*.pkd when gtk.pkg changes.
---

diff --git a/src/gtk/compile.scm b/src/gtk/compile.scm
index c9e517ec3..7e8e55ff2 100644
--- a/src/gtk/compile.scm
+++ b/src/gtk/compile.scm
@@ -34,7 +34,7 @@ USA.
 	(if (name->package '(GTK))
 	    (error "The GTK package already exists.")
 	    (let ((package-set (package-set-pathname "gtk")))
-	      (if (not (file-exists? package-set))
+	      (if (not (file-modification-time<? "gtk.pkg" package-set))
 		  (cref/generate-trivial-constructor "gtk"))
 	      (construct-packages-from-file (fasload package-set))))