From 1529d5f3d68db76a79bfdcea6a3fe06e4fdec3b2 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Fri, 11 Aug 2023 10:35:08 +0200
Subject: [PATCH] Set -x mode for stretchoid

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

diff --git a/make-stretchoid.sh b/make-stretchoid.sh
index 1697c30..581dc54 100755
--- a/make-stretchoid.sh
+++ b/make-stretchoid.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-set -eu
+set -eux
 
 REV="v-$(date --iso-8601=seconds)"