From e966c5ac810c7214b3f25c9f8ff7b965c0174f51 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Sun, 18 Jun 2017 17:04:48 -0400
Subject: sh portability fixes in "make c"

---
 capture.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'capture.sh')

diff --git a/capture.sh b/capture.sh
index 8e0455713..c41ee167d 100755
--- a/capture.sh
+++ b/capture.sh
@@ -1,4 +1,7 @@
 #!/bin/sh
+set -e || true
+set -u || true
+set -o pipefail || true
 
 machine=$(etc/machine.sh)
 measurement=$($1/measure | (LC_ALL=C sort -n || true) | head -1024 | tail -1)
-- 
cgit v1.2.3