OSDN Git Service

* reg_periodic, reg_search: Fix the uses of date command.
authorkazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 Jan 2005 02:04:51 +0000 (02:04 +0000)
committerkazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 Jan 2005 02:04:51 +0000 (02:04 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@93806 138bc75d-0d04-0410-961f-82ee72b054a4

contrib/reghunt/ChangeLog
contrib/reghunt/reg_periodic
contrib/reghunt/reg_search

index 33ba2c7..6e3c3e9 100644 (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>
 
        * reg_search: Replace existing uses of DATE with MADE_DATE and
index 4d46cf7..33e7bd0 100755 (executable)
@@ -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"
 }
 
index 9452dda..f89b963 100755 (executable)
@@ -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"
 }