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

diff --git a/src/gtk/compile.scm b/src/gtk/compile.scm
index c9e517ec319fb0cf5396789d6a0d58488907530a..7e8e55ff230d2e4a8cd5ac4671fbd408a58b273f 100644 (file)
--- 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))))