* 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

+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

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"
 }
 

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"
 }