From ac263d4305b554765cfa3401c098f9b90cf1fa6b Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Wed, 26 Jan 2022 11:48:41 +0100
Subject: [PATCH] build.sh: Decrease noise

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 63b0f30..3739722 100755
--- a/build.sh
+++ b/build.sh
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-set -xe
+set -e
 
 releases=(
 	5.10.92-421 5.10.82-414 5.10.81-412 5.10.70-403 5.10.47-390 5.10.24-375