diff deploy/src/archive.sh @ 2434:43ac4c02efe9

Merge
author Chris Cannam
date Thu, 12 Dec 2019 17:25:51 +0000
parents a46ca166c29c
children 7535f13569fa
line wrap: on
line diff
--- a/deploy/src/archive.sh	Thu Dec 12 17:25:37 2019 +0000
+++ b/deploy/src/archive.sh	Thu Dec 12 17:25:51 2019 +0000
@@ -6,6 +6,11 @@
 
 v=`echo "$tag" | sed 's/sv_v//' | sed 's/_.*$//'`
 
+echo -n "Package up source code for version $v from tag $tag [Yn] ? "
+read yn
+case "$yn" in "") ;; [Yy]) ;; *) exit 3;; esac
+echo "Proceeding"
+
 current=$(hg id | awk '{ print $1; }')
 
 case "$current" in