From a107996c9a866e6d2322eabf5533aae7bb8ad790 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Sun, 17 Apr 2005 15:56:32 +0000
Subject: [PATCH] If we end up with fragments that are older than config.h, set
 the timestamp on config.h to match the oldest fragment, to prevent make from
 always attempting to rebuild the fragments.

---
 src/util/mkconfig.pl | 33 +++++++++++++++++++++++++++++----
 1 file changed, 29 insertions(+), 4 deletions(-)

diff --git a/src/util/mkconfig.pl b/src/util/mkconfig.pl
index 2f2d6a4cd..7850661ae 100755
--- a/src/util/mkconfig.pl
+++ b/src/util/mkconfig.pl
@@ -1,11 +1,12 @@
 #!/usr/bin/perl -w
 
 use File::Spec::Functions qw ( :ALL );
+use File::stat;
 use strict;
 use warnings;
 
 my $cfgdir = "config";
-my $config_h = "config.h";
+my $config_h = shift || "config.h";
 
 # Read in a whole file
 #
@@ -38,6 +39,15 @@ sub delete_file {
   unlink $file or die "Could not delete $file: $!\n";
 }
 
+# Get a file modification time
+#
+sub file_mtime {
+  my $file = shift;
+
+  my $stat = stat ( $file ) or die "Could not stat $file: $!\n";
+  return $stat->mtime;
+}
+
 # Read a directory listing (excluding the . and .. entries)
 #
 sub read_dir {
@@ -155,9 +165,24 @@ foreach my $file ( keys %$current ) {
   unlink catfile ( $cfgdir, $file ) unless exists $new->{$file};
 }
 
-# Write out any modified fragments
+# Write out any modified fragments, and find the oldest timestamp of
+# any unmodified fragments.
 #
+my $oldest = time ();
 foreach my $file ( keys %$new ) {
-  write_file ( catfile ( $cfgdir, $file ), $new->{$file} )
-      unless $current->{$file} && $new->{$file} eq $current->{$file};
+  if ( $current->{$file} && $new->{$file} eq $current->{$file} ) {
+    # Unmodified
+    my $time = file_mtime ( catfile ( $cfgdir, $file ) );
+    $oldest = $time if $time < $oldest;
+  } else {
+    write_file ( catfile ( $cfgdir, $file ), $new->{$file} );
+  }
+}
+
+# If we now have fragments that are older than config.h, set the
+# timestamp on config.h to match the oldest fragment, to prevent make
+# from always attempting to rebuild the fragments.
+#
+if ( $oldest < file_mtime ( $config_h ) ) {
+  utime time(), $oldest, $config_h or die "Could not touch $config_h: $!\n";
 }