On Thu, Dec 19, 2013 at 12:43:25AM +0100, Ludovic Courtès wrote:
> What does ‘/bin/sh --version’ report?  I bet it’s dash instead of Bash.

"Illegal option --"  ;-)

But I confirm it is dash in debian. And that your fix works.

Andreas


Reply via email to