[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: bin/38736 (/bin/sh: several problems with 'set -e')
Synopsis: /bin/sh: several problems with 'set -e'
Responsible-Changed-When: Mon, 26 May 2008 22:02:53 +0000
I'll leave this PR to someone who knows the standards by heart.
State-Changed-When: Mon, 26 May 2008 22:02:53 +0000
There is an ongoing discussion whether any of the cases mentioned in this
PR are actually bugs or correct according to the standard.
Main Index |
Thread Index |