diff options
Diffstat (limited to 'ACE/bin')
| -rwxr-xr-x | ACE/bin/copy-local-script.sh | 2 | ||||
| -rwxr-xr-x | ACE/bin/diff-builds-and-group-fixed-tests-only.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ACE/bin/copy-local-script.sh b/ACE/bin/copy-local-script.sh index c4cf562bdfb..47377956057 100755 --- a/ACE/bin/copy-local-script.sh +++ b/ACE/bin/copy-local-script.sh @@ -1,7 +1,7 @@ #!/bin/sh for i in *.gz *.bz2 *.zip *.md5; do - d=`echo $i | sed 's/\.[tz][ai][rp]/-7.0.0&/'` + d=`echo $i | sed 's/\.[tz][ai][rp]/-7.0.1&/'` echo "Copying $i to $d" cp -ip $i $d done diff --git a/ACE/bin/diff-builds-and-group-fixed-tests-only.sh b/ACE/bin/diff-builds-and-group-fixed-tests-only.sh index b7a2f42c156..42fe4446c09 100755 --- a/ACE/bin/diff-builds-and-group-fixed-tests-only.sh +++ b/ACE/bin/diff-builds-and-group-fixed-tests-only.sh @@ -2,7 +2,7 @@ if test -z $1; then newdate=`date -u +%Y_%m_%d`; else newdate=$1; fi if test -z $2; then prefix=`date -u +%Y%m%d%a`; else prefix=$2; fi -if test -z $3; then olddate=2021_01_25; else olddate=$3; fi +if test -z $3; then olddate=2021_03_15; else olddate=$3; fi if test -z $ACE_ROOT; then ACE_ROOT=..; fi if test -z $TAO_ROOT; then TAO_ROOT=${ACE_ROOT}/TAO; fi if test -z $CIAO_ROOT; then CIAO_ROOT=${TAO_ROOT}/CIAO; fi |