------------------------------------------------------------
revno: 378
fixes bug: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14011
committer: Stefan Monnier <monn...@iro.umontreal.ca>
branch nick: elpa
timestamp: Mon 2013-04-01 09:44:30 -0400
message:
* update-archive.sh: *-readme.txt files aren't mutable.
modified:
admin/update-archive.sh
=== modified file 'admin/update-archive.sh'
--- a/admin/update-archive.sh 2013-03-20 18:14:56 +0000
+++ b/admin/update-archive.sh 2013-04-01 13:44:30 +0000
@@ -84,12 +84,15 @@
# Actually, let's never overwrite an existing version. So changes can
# be installed without causing a new package to be built until the
# version field is changed. Some files need to be excluded from the
- # "immutable" policy, most importantly "archive-contents".
- if [ -r "$dst" ] &&
- [ ! "archive-contents" = "$(basename "$dst")" ]
- then rm "$f"
- else mv "$f" "$dst"
- fi
+ # "immutable" policy, most importantly "archive-contents"
+ # and "*-readme.txt".
+ case $dst in
+ */archive-contents | *-readme.txt ) mv "$f" "$dst" ;;
+ * ) if [ -r "$dst" ]
+ then rm "$f"
+ else mv "$f" "$dst"
+ fi ;;
+ esac
done
mv build/archive/"$latest" staging/
rm -rf build/archive)
