From 0f1dbd919dd490d22d9380c1d93cc495d6ed3125 Mon Sep 17 00:00:00 2001
From: rudy <rudy.sicard@zama.ai>
Date: Thu, 30 Dec 2021 20:31:49 +0100
Subject: [PATCH] fix(format_cpp): More robust error reporting

---
 .github/workflows/scripts/format_cpp.sh | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/scripts/format_cpp.sh b/.github/workflows/scripts/format_cpp.sh
index 4e7ebb5c4..6755e396a 100755
--- a/.github/workflows/scripts/format_cpp.sh
+++ b/.github/workflows/scripts/format_cpp.sh
@@ -1,12 +1,8 @@
 #!/bin/bash
 
-set -o pipefail
+set -e -o pipefail
 
 find ./compiler/{include,lib,src} -iregex '^.*\.\(cpp\|cc\|h\|hpp\)$' | xargs clang-format -i -style='file'
-if [ $? -ne 0 ]
-then
-    exit 1
-fi
 
 # show changes if any
 git --no-pager diff