branch: master
commit 78e3869ba1bea14c5619e786a79f5e5309b43d88
Author: Thien-Thi Nguyen <t...@gnu.org>
Commit: Thien-Thi Nguyen <t...@gnu.org>
[admin] Bump update-archive.sh version to "1.7" for push.
* admin/update-archive.sh (version): Bump to "1.7".
---
admin/update-archive.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/admin/update-archive.sh b/admin/update-archive.sh
index 1986677..82ff56a 100755
--- a/admin/update-archive.sh
+++ b/admin/update-archive.sh
@@ -80,7 +80,8 @@
# 1.4 -- use sendmail(8) and rsync(1)
# 1.5 -- make staging operations less brittle
# 1.6 -- support ‘--help’, ‘--version’
-version='1.6'
+# 1.7 -- fix DANGEROUS bug; make less noisy; name bash explicitly
+version='1.7'
# If $0 is a symlink, `dirname $0`/hv.sh might not be available,
# and even if it IS available, how can we be sure it's bonafide?
test -L $0 || { hv=`dirname $0`/hv.sh ; test -r $hv && . $hv ; }
