> > can you try fixing the grep to have '$$' instead of '$'? eg.
> >
> > - ${TOOL_GREP} -E -v '^[ ]*#(#| |$)' | \
> > + ${TOOL_GREP} -E -v '^[ ]*#(#| |$$)' | \
>
> Looks like our messages crossed each other in the mail :-) That did
> indeed fix it for me.
commited. thanks!