diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2023-03-03 09:38:39 +0100 |
---|---|---|
committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2023-03-03 09:38:39 +0100 |
commit | ed1a2e35ca124c5697f32527ad286e22e9f5877b (patch) | |
tree | 14f3e014e9a1e1eec0b3abd4f20424e60c261ad4 /ACE/bin | |
parent | 6c47c90806a1ad9be33784d5f731d360814e4137 (diff) | |
download | ATCD-ed1a2e35ca124c5697f32527ad286e22e9f5877b.tar.gz |
Make ACE 7.1.0 and TAO 3.1.0 public available
* ACE/NEWS:
* ACE/bin/copy-local-script.sh:
* ACE/bin/diff-builds-and-group-fixed-tests-only.sh:
* ACE/docs/Download.html:
* ACE/etc/index.html:
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 d2d00615482..1f78db60bab 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.12&/'` + d=`echo $i | sed 's/\.[tz][ai][rp]/-7.1.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 f309efdc3e0..c0ea5f72290 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=2022_12_19; else olddate=$3; fi +if test -z $3; then olddate=2023_03_03; 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 # |