From de0879931ee3f9e5191b361d673e5e5d8d4dadcf Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 1 Apr 2024 02:39:28 +0200
Subject: clean, but not log file

---
 contrib/ci/jobs/2-test/test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/ci')

diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh
index 882410a98..ad5a2eb32 100755
--- a/contrib/ci/jobs/2-test/test.sh
+++ b/contrib/ci/jobs/2-test/test.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -evu
+set -evux
 
 apt-get update
 apt-get upgrade -yqq
-- 
cgit v1.2.3