r1907: *** empty log message ***

diff --git a/make-dist.sh b/make-dist.sh
index 67960edcf1dfd1b4d7e130bb75d7224b05553c5b..7572caba40acad19b42f387e84b3a0d18c87b6f0 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -4,18 +4,21 @@
 
 set -e
 
-VERSION=`cat VERSION`
 DEBPKG=cl-uffi
 PKG=uffi
 TOPDIR=`basename $PWD`
 
+VERSION=`cat VERSION`
+DEBVERSION=`sed -n -e "s/${DEBPKG} (\(.*\)-[0-9]).*/\1/p" < debian/changelog  |head -1`
+echo ${DEBVERSION}
+
 DISTDIR=${PKG}-${VERSION}
 DEBDIR=${DEBPKG}-${VERSION}
 
-#echo "(re)tagging with release tag '$TAG'"
-#TAG=upstream_version_`echo $VERSION | tr . _`
-#cvs -q rtag -d $TAG $PKG
-#cvs -q tag -F $TAG
+echo "(re)tagging with release tag '$TAG'"
+TAG=debian_version_`echo ${DEBVERSION} | tr . _`
+cvs -q rtag -d $TAG $PKG
+cvs -q tag -F $TAG
 
 
 # Prepare for archive