version=3
release=2
revision=1.b
arg=${1-foo}
if [ $arg = "ID" ]
then
	echo "$version.$release.$revision"
else
	echo -n '-DVERSION="'$version.$release.$revision'"'
fi
