Tarmigan Casebolt wrote: > dash is more finicky than some shells and this change seems to make it > happier. > > Reported-by: Michael Haggerty <mhagger@xxxxxxxxxxxx> > Signed-off-by: Tarmigan Casebolt <tarmigan+git@xxxxxxxxx> > > --- > Michael, thanks for the report. > > Ubuntu's /bin/sh is dash, which I had not tested with. Installing > dash on my machine, I was able to reproduce and this patch fixes the > problem for me. > > Could you please see if this works for you? > [...] Yes, that fixes it. Thanks! Michael -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html