diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2020-05-01 10:28:14 +0200 |
---|---|---|
committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2020-05-01 10:28:14 +0200 |
commit | dc92e73096bfd073dad31e2cf5d60ae3dbdf66ee (patch) | |
tree | 34fa6e17899dea6553a81d48bccddccea67ea3dd /ACE/bin | |
parent | c054e504c837b0fe6ab9fdc318b6d67f95e7e23f (diff) | |
download | ATCD-dc92e73096bfd073dad31e2cf5d60ae3dbdf66ee.tar.gz |
Make x.5.9 public and prepare for next release
* ACE/NEWS:
* ACE/bin/copy-local-script.sh:
* ACE/bin/copy-script.sh:
* ACE/bin/diff-builds-and-group-fixed-tests-only.sh:
* ACE/docs/Download.html:
* ACE/docs/bczar/bczar.html:
* ACE/etc/index.html:
* TAO/NEWS:
Diffstat (limited to 'ACE/bin')
-rwxr-xr-x | ACE/bin/copy-local-script.sh | 2 | ||||
-rwxr-xr-x | ACE/bin/copy-script.sh | 2 | ||||
-rwxr-xr-x | ACE/bin/diff-builds-and-group-fixed-tests-only.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/ACE/bin/copy-local-script.sh b/ACE/bin/copy-local-script.sh index c7931ca9c67..6e701c9f6d0 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]/-6.5.8&/'` + d=`echo $i | sed 's/\.[tz][ai][rp]/-6.5.9&/'` echo "Copying $i to $d" cp -ip $i $d done diff --git a/ACE/bin/copy-script.sh b/ACE/bin/copy-script.sh index fce27cacd97..3e84606df96 100755 --- a/ACE/bin/copy-script.sh +++ b/ACE/bin/copy-script.sh @@ -1,7 +1,7 @@ #!/bin/sh for i in *.gz *.bz2 *.zip *.md5; do - d=`echo $i | sed 's/\.[tz][ai][rp]/-6.5.7&/'` + d=`echo $i | sed 's/\.[tz][ai][rp]/-6.5.9&/'` echo "Copying $i to $d" cp -ip $i /export/www/download.dre/previous_versions/$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 af5593bc254..7b5cad52a6f 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=2020_02_10; else olddate=$3; fi +if test -z $3; then olddate=2020_05_01; 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 |