From 327832422c19a2118992dcc5dd4acd42a69c37cc Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Tue, 30 Jul 2019 16:37:15 +0200 Subject: [PATCH] scripts/code.sh: remove -x --- scripts/code.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/code.sh b/scripts/code.sh index 830271adff6..542efab5237 100755 --- a/scripts/code.sh +++ b/scripts/code.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -ex +set -e if [[ "$OSTYPE" == "darwin"* ]]; then realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"; }