From 17f34b0fdc7135f6370108bf69db467a22a7eb96 Mon Sep 17 00:00:00 2001
From: kazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 18 Jan 2005 02:04:51 +0000
Subject: [PATCH] 	* reg_periodic, reg_search: Fix the uses of date
 command.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@93806 138bc75d-0d04-0410-961f-82ee72b054a4
---
 contrib/reghunt/ChangeLog    | 4 ++++
 contrib/reghunt/reg_periodic | 4 ++--
 contrib/reghunt/reg_search   | 4 ++--
 3 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/contrib/reghunt/ChangeLog b/contrib/reghunt/ChangeLog
index 33ba2c7a540..6e3c3e980fd 100644
--- a/contrib/reghunt/ChangeLog
+++ b/contrib/reghunt/ChangeLog
@@ -1,3 +1,7 @@
+2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* reg_periodic, reg_search: Fix the uses of date command.
+
 2003-06-24  Janis Johnson  <janis187@us.ibm.com>
 
 	* reg_search: Replace existing uses of DATE with MADE_DATE and
diff --git a/contrib/reghunt/reg_periodic b/contrib/reghunt/reg_periodic
index 4d46cf78d38..33e7bd0a077 100755
--- a/contrib/reghunt/reg_periodic
+++ b/contrib/reghunt/reg_periodic
@@ -25,7 +25,7 @@
 #               is STOP in the current directory.
 #
 #
-# Copyright (c) 2002, 2003 Free Software Foundation, Inc.
+# Copyright (c) 2002, 2003, 2005 Free Software Foundation, Inc.
 #
 # This file is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -70,7 +70,7 @@ error() {
 # control tools and report to the user.
 
 make_date() {
-  MADE_DATE="`${DATE} -u +\"%Y-%m-%d %H:%M %Z\" --date \"1970-01-01 00:00:${1}\"`" \
+  MADE_DATE="`${DATE} -u +\"%Y-%m-%d %H:%M %Z\" --date \"1970-01-01 ${1} seconds\"`" \
     || error "make_date: date command failed"
 }
 
diff --git a/contrib/reghunt/reg_search b/contrib/reghunt/reg_search
index 9452dda8f5f..f89b963ec9e 100755
--- a/contrib/reghunt/reg_search
+++ b/contrib/reghunt/reg_search
@@ -45,7 +45,7 @@
 #
 #
 #
-# Copyright (c) 2002, 2003 Free Software Foundation, Inc.
+# Copyright (c) 2002, 2003, 2005 Free Software Foundation, Inc.
 #
 # This file is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -96,7 +96,7 @@ error() {
 # control tools and report to the user.
 
 make_date() {
-  MADE_DATE="`${DATE} -u +\"%Y-%m-%d %H:%M %Z\" --date \"1970-01-01 00:00:${1}\"`" \
+  MADE_DATE="`${DATE} -u +\"%Y-%m-%d %H:%M %Z\" --date \"1970-01-01 ${1} seconds\"`" \
     || error "make_date: date command failed"
 }
 
-- 
2.11.4.GIT