git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

From-SVN: r93806
This commit is contained in:
Kazu Hirata 2005-01-18 02:04:51 +00:00 committed by Kazu Hirata
parent 385870f5b2
commit d4512eb8bc
3 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
contrib/reghunt/ChangeLog
View File

@ -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> 2003-06-24 Janis Johnson <janis187@us.ibm.com>
* reg_search: Replace existing uses of DATE with MADE_DATE and * reg_search: Replace existing uses of DATE with MADE_DATE and

4
contrib/reghunt/reg_periodic
View File

@ -25,7 +25,7 @@
# is STOP in the current directory. # 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 # 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 # 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. # control tools and report to the user.
make_date() { 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" || error "make_date: date command failed"
} }

4
contrib/reghunt/reg_search
View File

@ -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 # 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 # 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. # control tools and report to the user.
make_date() { 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" || error "make_date: date command failed"
} }