Use "set -e" command instead of "#! /bin/sh -e" magic.
authorBen Pfaff <blp@nicira.com>
Tue, 4 Nov 2008 22:26:38 +0000 (14:26 -0800)
committerBen Pfaff <blp@nicira.com>
Tue, 4 Nov 2008 22:26:38 +0000 (14:26 -0800)
commit70ebdff4f817f0c442f3218c5d9a4e3a496e100d
treea5fbde31c8d2e0abe013ef4ba7b50881ce20f5cf
parent67d31bee42d01e3de72df62a5c1d0ba073c70849
Use "set -e" command instead of "#! /bin/sh -e" magic.

Otherwise, running the script through an explicit shell invocation, such
as "sh -x <script>" for debugging, will fail to set -e and therefore the
script's behavior will change.
boot.sh
secchan/commands/update
utilities/ofp-pki.in