diff options
author | Janis Johnson <janis187@us.ibm.com> | 2003-06-24 17:18:39 +0000 |
---|---|---|
committer | Janis Johnson <janis@gcc.gnu.org> | 2003-06-24 17:18:39 +0000 |
commit | d28dd0f9d188c3098352e6b00b895a56d254c358 (patch) | |
tree | 63c4e008e6ad85405fb8d068d5a5f182632789e3 /contrib/reghunt | |
parent | e7891c4bbbbb3c0856d533473ac0b665d71667af (diff) | |
download | gcc-d28dd0f9d188c3098352e6b00b895a56d254c358.zip gcc-d28dd0f9d188c3098352e6b00b895a56d254c358.tar.gz gcc-d28dd0f9d188c3098352e6b00b895a56d254c358.tar.bz2 |
reg_search: Replace existing uses of DATE with MADE_DATE and use DATE for the date command.
* reg_search: Replace existing uses of DATE with MADE_DATE and
use DATE for the date command.
* reg_periodic: Ditto.
From-SVN: r68429
Diffstat (limited to 'contrib/reghunt')
-rw-r--r-- | contrib/reghunt/ChangeLog | 7 | ||||
-rwxr-xr-x | contrib/reghunt/reg_periodic | 27 | ||||
-rwxr-xr-x | contrib/reghunt/reg_search | 39 |
3 files changed, 46 insertions, 27 deletions
diff --git a/contrib/reghunt/ChangeLog b/contrib/reghunt/ChangeLog index 3b4b78f..33ba2c7 100644 --- a/contrib/reghunt/ChangeLog +++ b/contrib/reghunt/ChangeLog @@ -1,5 +1,10 @@ -2003-03-27 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 + use DATE for the date command. + * reg_periodic: Ditto. + +2003-03-27 Janis Johnson <janis187@us.ibm.com> * README: New file. * reg_search: New file. * reg_periodic: New file. diff --git a/contrib/reghunt/reg_periodic b/contrib/reghunt/reg_periodic index 57b86d3..4d46cf7 100755 --- a/contrib/reghunt/reg_periodic +++ b/contrib/reghunt/reg_periodic @@ -55,7 +55,7 @@ msg() { if [ "x${DATE_IN_MSG}" = "x" ]; then echo "${2}" else - echo "`date` ${2}" + echo "`${DATE}` ${2}" fi } @@ -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 00:00:${1}\"`" \ || error "make_date: date command failed" } @@ -79,25 +79,32 @@ make_date() { # testing; the first one needs it, the others can ignore it if they want. process_date() { - DATE="${1}" + TEST_DATE="${1}" - ${REG_UPDATE} "${DATE}" + ${REG_UPDATE} "${TEST_DATE}" if [ $? -ne 0 ]; then - msg 0 "source update failed for ${DATE}" + msg 0 "source update failed for ${TEST_DATE}" return fi - ${REG_BUILD} "${DATE}" + ${REG_BUILD} "${TEST_DATE}" if [ $? -ne 0 ]; then - msg 0 "build failed for ${DATE}" + msg 0 "build failed for ${TEST_DATE}" return fi - ${REG_TEST} "${DATE}" + ${REG_TEST} "${TEST_DATE}" } ######################################################################## # Main program (so to speak) ######################################################################## +# If DATE isn't defined, use the default date command; the configuration +# file can override this. + +if [ "x${DATE}" = "x" ]; then + DATE=date +fi + # Process the configuration file. if [ $# -ne 1 ]; then @@ -135,9 +142,9 @@ msg 2 "VERBOSITY = ${VERBOSITY}" # Change the dates into seconds since the epoch. This uses an extension # in GNU date. -LOW_DATE=`date +%s --date "${LOW_DATE}"` || \ +LOW_DATE=`${DATE} +%s --date "${LOW_DATE}"` || \ error "date command failed for \"${LOW_DATE}\"" -HIGH_DATE=`date +%s --date "${HIGH_DATE}"` || \ +HIGH_DATE=`${DATE} +%s --date "${HIGH_DATE}"` || \ error "date command failed for \"${LOW_DATE}\"" # Process each date in the range. diff --git a/contrib/reghunt/reg_search b/contrib/reghunt/reg_search index 1ca0a5d..9452dda 100755 --- a/contrib/reghunt/reg_search +++ b/contrib/reghunt/reg_search @@ -75,7 +75,7 @@ msg() { if [ "x${DATE_IN_MSG}" = "x" ]; then echo "${2}" else - echo "`date` ${2}" + echo "`${DATE}` ${2}" fi } @@ -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 00:00:${1}\"`" \ || error "make_date: date command failed" } @@ -105,15 +105,15 @@ make_date() { # testing; the first one needs it, the others can ignore it if they want. process_date() { - DATE="${1}" + TEST_DATE="${1}" - ${REG_UPDATE} "${DATE}" || error "source update failed for ${DATE}" + ${REG_UPDATE} "${TEST_DATE}" || error "source update failed for ${TEST_DATE}" # If we're already in a valid range, skip this date if there are no # differences from either end of the range and adjust LATER. if [ ${VALID_RANGE} = 1 ]; then - ${HAS_CHANGES} "${DATE}" "${LATER_THAN}" "${EARLIER_THAN}" + ${HAS_CHANGES} "${TEST_DATE}" "${LATER_THAN}" "${EARLIER_THAN}" RET=$? case ${RET} in 0) ;; @@ -123,8 +123,8 @@ process_date() { esac fi - ${REG_BUILD} "${DATE}" || error "build failed for ${DATE}" - ${REG_TEST} "${DATE}" + ${REG_BUILD} "${TEST_DATE}" || error "build failed for ${TEST_DATE}" + ${REG_TEST} "${TEST_DATE}" LATER=$? } @@ -149,21 +149,21 @@ search_dates() { while [ ${DIFF} -ge ${DELTA} ]; do make_date ${MID} - DATE="${MADE_DATE}" + TEST_DATE="${MADE_DATE}" # Test it. - process_date "${DATE}" + process_date "${TEST_DATE}" # Narrow the search based on the outcome of testing DATE. if [ ${LATER} -eq 1 ]; then - msg 1 "search dates later than \"${DATE}\"" - LATER_THAN="${DATE}" + msg 1 "search dates later than \"${TEST_DATE}\"" + LATER_THAN="${TEST_DATE}" let LOW=MID else - msg 1 "search dates earlier than \"${DATE}\"" - EARLIER_THAN="${DATE}" + msg 1 "search dates earlier than \"${TEST_DATE}\"" + EARLIER_THAN="${TEST_DATE}" let HIGH=MID fi @@ -176,6 +176,13 @@ search_dates() { # Main program (so to speak) ######################################################################## +# If DATE isn't defined, use the default date command; the configuration +# file can override this. + +if [ "x${DATE}" = "x" ]; then + DATE=date +fi + # The error function uses this. VALID_RANGE=0 @@ -228,15 +235,15 @@ test ${DELTA} -lt 120 && \ # Change the dates into seconds since the epoch. This uses an extension # in GNU date. -LOW_DATE=`date +%s --date "${LOW_DATE}"` || \ +LOW_DATE=`${DATE} +%s --date "${LOW_DATE}"` || \ error "date command failed for \"${LOW_DATE}\"" -HIGH_DATE=`date +%s --date "${HIGH_DATE}"` || \ +HIGH_DATE=`${DATE} +%s --date "${HIGH_DATE}"` || \ error "date command failed for \"${LOW_DATE}\"" # If FIRST_MID was defined, convert it and make sure it's in the range. if [ "x${FIRST_MID}" != "x" ]; then - FIRST_MID=`date +%s --date "${FIRST_MID}"` || \ + FIRST_MID=`${DATE} +%s --date "${FIRST_MID}"` || \ error "date command failed for \"${FIRST_MID}\"" test ${FIRST_MID} -le ${LOW_DATE} && \ error "FIRST_MID date is earlier than LOW_DATE" |