From f961c3e72cf5039744061d9f7dacf6c4ae83e572 Mon Sep 17 00:00:00 2001
From: Mike Swanson <mikeonthecomputer@gmail.com>
Date: Mon, 28 Oct 2019 10:29:22 -0700
Subject: [PATCH] Makefile: remove bash -x option, avoiding duplicating exec
 lines

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e2cf45f6..0d77a74a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 # SPDX-License-Identifier: BSD-3-Clause
 
-SHELL=bash -Eeuxo pipefail
+SHELL=bash -Eeuo pipefail
 VERSION=$(shell git describe --abbrev=8 --dirty 2>/dev/null || echo v0.12.1)
 WADS=wads
 ASCIIDOC=asciidoc