* reg_periodic, reg_search: Fix the uses of date command.

From-SVN: r93806

diff --git a/contrib/reghunt/ChangeLog b/contrib/reghunt/ChangeLog
index 33ba2c7..6e3c3e9 100644 (file)
--- 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 4d46cf7..33e7bd0 100755 (executable)
--- 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 9452dda..f89b963 100755 (executable)
--- 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"
 }