From 70ebdff4f817f0c442f3218c5d9a4e3a496e100d Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@nicira.com>
Date: Tue, 4 Nov 2008 14:26:38 -0800
Subject: [PATCH] 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                 | 4 +++-
 secchan/commands/update | 3 ++-
 utilities/ofp-pki.in    | 4 +++-
 3 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/boot.sh b/boot.sh
index 0f48d4397..ae2b36659 100755
--- a/boot.sh
+++ b/boot.sh
@@ -1,4 +1,6 @@
-#! /bin/sh -e
+#! /bin/sh
+
+set -e
 
 have_ext=$(if test -e ext/automake.mk; then echo yes; else echo no; fi)
 for opt
diff --git a/secchan/commands/update b/secchan/commands/update
index 4d617fea0..545e3c233 100755
--- a/secchan/commands/update
+++ b/secchan/commands/update
@@ -1,3 +1,4 @@
-#! /bin/sh -e
+#! /bin/sh
+set -e
 apt-get update -qy
 apt-get upgrade -qy
diff --git a/utilities/ofp-pki.in b/utilities/ofp-pki.in
index 89a3dba0d..7d51469b4 100755
--- a/utilities/ofp-pki.in
+++ b/utilities/ofp-pki.in
@@ -1,4 +1,6 @@
-#! /bin/sh -e
+#! /bin/sh
+
+set -e
 
 pkidir='@PKIDIR@'
 command=
-- 
2.43.0