diff options
Diffstat (limited to 'contrib/reghunt')
| -rw-r--r-- | contrib/reghunt/ChangeLog | 4 | ||||
| -rwxr-xr-x | contrib/reghunt/reg_periodic | 4 | ||||
| -rwxr-xr-x | 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" } |
