From 52ebbcec5a2e5ebb1d39b274c4c7d77776e2e90a Mon Sep 17 00:00:00 2001 From: Rohan Kumar Date: Wed, 3 Apr 2024 22:36:32 -0400 Subject: [PATCH] print commands in setup-ci --- scripts/setup-ci.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/setup-ci.sh b/scripts/setup-ci.sh index a1f9461..d8aac21 100644 --- a/scripts/setup-ci.sh +++ b/scripts/setup-ci.sh @@ -3,7 +3,7 @@ # The binaries are statically-linked for Linux on x86_64 # no pipefail here since there are no pipes. -set -e -u +set -eux # configure ssh echo "VerifyHostKeyDNS=yes