diff options
Diffstat (limited to 'ACE/bin/copy-local-script.sh')
| -rwxr-xr-x | ACE/bin/copy-local-script.sh | 2 |
1 files changed, 1 insertions, 1 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 |