diff options
| author | kazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-01-18 02:04:51 +0000 |
|---|---|---|
| committer | kazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-01-18 02:04:51 +0000 |
| commit | 17f34b0fdc7135f6370108bf69db467a22a7eb96 (patch) | |
| tree | 74856649a45b20b78da7cf291417af6929081246 /contrib/reghunt | |
| parent | c626e85ff2a5b8f6f7eb5dfcb23d07669d731fc4 (diff) | |
| download | ppe42-gcc-17f34b0fdc7135f6370108bf69db467a22a7eb96.tar.gz ppe42-gcc-17f34b0fdc7135f6370108bf69db467a22a7eb96.zip | |
* 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
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" } |
