if [[ $BRANCH == '(no branch)' ]]; then
BRANCH=`$P/synfig --info|egrep "Revision ID:"|cut -d ' ' -f 3`
fi
echo `date +%H:%M` "Synfig $VERSION.$RELEASE.$BRANCH started."
if [[ $BRANCH == '(no branch)' ]]; then
BRANCH=`$P/synfig --info|egrep "Revision ID:"|cut -d ' ' -f 3`
fi
echo `date +%H:%M` "Synfig $VERSION.$RELEASE.$BRANCH started."