From 1716f2bd83f53b67690093ddcf447b24487d5767 Mon Sep 17 00:00:00 2001
From: Andrew Dunstan <andrew@dunslane.net>
Date: Mon, 7 Apr 2008 21:27:44 +0000
Subject: [PATCH] enable-integer-datetimes is now the default

---
 cgi-bin/show_status.pl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/cgi-bin/show_status.pl b/cgi-bin/show_status.pl
index 3fc48cd..d41dff1 100755
--- a/cgi-bin/show_status.pl
+++ b/cgi-bin/show_status.pl
@@ -56,6 +56,12 @@ while (my $row = $sth->fetchrow_hashref)
     next if (@members && ! grep {$_ eq $row->{sysname} } @members);
     $row->{build_flags}  =~ s/^\{(.*)\}$/$1/;
     $row->{build_flags}  =~ s/,/ /g;
+	# enable-integer-datetimes is now the default
+	if ($row->{branch} eq 'HEAD' || $row->{branch} gt 'REL8_3_STABLE')
+	{
+		$row->{buildflags} .- " --enable-integer-datetimes "
+			unless ($row->{build_flags} =~ /--(en|dis)able-integer-datetimes/);
+	}
     $row->{build_flags}  =~ s/--((enable|with)-)?//g;
 	$row->{build_flags} =~ s/libxml/xml/;
     $row->{build_flags}  =~ s/\S+=\S+//g;
-- 
2.30.2