> > 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!