diff --git a/lang/m2/comp/MakeVersion b/lang/m2/comp/MakeVersion deleted file mode 100755 index 2ca5509a7..000000000 --- a/lang/m2/comp/MakeVersion +++ /dev/null @@ -1,8 +0,0 @@ -V=`cat Version.c` -VERSION=`expr "$V" ':' '.*[0-9][0-9]*\.\([0-9][0-9]*\).*'` -NEWVERSION=`expr $VERSION + 1` -sed "s/\.$VERSION/.$NEWVERSION/" < Version.c > tmp$$ -mv tmp$$ Version.c -CM "$*" -V=`cat Version.c` -SV > Versions/V`expr "$V" ':' '.*\([0-9][0-9]*\.[0-9][0-9]*\).*'`