Stuff

++ echo --version=0.176++ sed 's/^--version=\([0-9]\?\.\)\?\([0-9]\{3\}\)/\2/p'+ VERSION='176176'+ '[' '!' '176176' ']'+ DMD_FILENAME='dmd.176176.zip'####		--version=*)			VERSION=`echo "$i" | sed 's/^--version=\([0-9]\?\.\)\?\([0-9]\{3\}\)/\2/p'` 						if [ ! "$VERSION" ]			then				DMD_FILE="dmd.zip"			else				DMD_FILENAME="dmd.${VERSION}.zip"			fi		;;