From 8db251c7963a35b24d67be2f1086e7830a5c5bb1 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Thu, 16 Nov 2023 14:56:46 +0100
Subject: [PATCH] set -x for install.sh

---
 .github/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/install.sh b/.github/install.sh
index 8759748fa5e..0b1f3c5db9e 100755
--- a/.github/install.sh
+++ b/.github/install.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -ex
 
 sudo apt-get update
 sudo apt-get install -y \