From 1144a1670b7c432c842da2bdc019cf1495beb828 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Thu, 31 Oct 2013 12:44:25 -0700 Subject: [PATCH] gtk: re-generate gtk-*.pkd when gtk.pkg changes. --- src/gtk/compile.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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