X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-deb-build%2Fcheck-versions.sh;fp=id-deb-build%2Fcheck-versions.sh;h=0000000000000000000000000000000000000000;hb=7af2cd4eeeea3ee9b373457fd45f363f77073db8;hp=191148e01aa8a6c6b645f50d3e876a2c15421e08;hpb=c30556622c5b983c4d1a9a3f3b65bf2d2bd746e1;p=git-tools-moved-to-github.git

diff --git a/id-deb-build/check-versions.sh b/id-deb-build/check-versions.sh
deleted file mode 100755
index 191148e..0000000
--- a/id-deb-build/check-versions.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-DEBCHANGELOG=debian/changelog
-if test ! -f $DEBCHANGELOG; then
-	echo "$DEBCHANGELOG missing"
-	echo "The current directory should be base source of package"
-	exit 1
-fi
-l=`head -1 $DEBCHANGELOG`
-PROD=`echo $l|sed 's/ .*//g'`
-DEB_VERSION=`echo $l|sed 's/.*(//g'|sed 's/).*//g'`
-echo "VERSION=$DEB_VERSION"
-MAJOR=`echo $DEB_VERSION|sed 's/-.*//g'`
-echo "MAJOR=$MAJOR"
-MINOR=`echo $DEB_VERSION|sed 's/.*-//g'`
-echo "MINOR=$MINOR"
-
-. ./IDMETA
-
-if [ "$VERSION" != "$MAJOR" ] ; then
-	echo "$VERSION != $MAJOR"
-	exit 1;
-fi
-# Local Variables:
-# mode:shell-script
-# sh-indentation: 2
-# sh-basic-offset: 8
-# End: