On 05/29/2013 05:20 PM, Peter Rosin wrote: > On 2013-05-29 16:54, Stefano Lattarini wrote: >> What if you do something like: >> >> $EGREP "(^| )(rm|find):.*$distdir" output >> >> instead? > > Yup, that did it. Thanks! > > I'm pushing the following. > Nice, thank you. Now only bug#14499 remains to be addressed, right? Does the patch I sent fix the issue?
Thanks, Stefano
