On 14 December 2012 10:47, Ben Pfaff <b...@nicira.com> wrote: > EXIT is more readable, but I think it was invented by POSIX and is > therefore less portable than 0.
As a point of reference FreeBSD's /bin/sh is fairly basic, and the man page explicitly refers to EXIT for this: | In addition, the pseudo-signal EXIT may be used to specify an | action that is performed when the shell terminates. _______________________________________________ dev mailing list dev@openvswitch.org http://openvswitch.org/mailman/listinfo/dev