From a8704962d028da590cb2adb521e47d247fc8373c Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Sun, 18 Jun 2017 17:08:30 -0400
Subject: more sh portability fixes...

---
 etc/machine.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/machine.sh')

diff --git a/etc/machine.sh b/etc/machine.sh
index 43981110b..63b9897d0 100755
--- a/etc/machine.sh
+++ b/etc/machine.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-set -euo pipefail
+set -eu
 
 printf "$(hostname)"
 printf -
-- 
cgit v1.2.3