From 681c86557709930b3ef76523fdaf8c1fa9c5639a Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Tue, 7 Dec 2021 14:56:08 +0100
Subject: [PATCH] chore: make sure to exit with an error code in check licences
 if failure

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6d5f6f33a..ef409623b 100644
--- a/Makefile
+++ b/Makefile
@@ -333,11 +333,12 @@ licences:
 .PHONY: check_licences # Check if the licenses of dependencies have changed
 check_licences:
 	@TMP_OUT="$$(mktemp)" && \
-	if ! ./script/make_utils/licences.sh --check > "$${TMP_OUT}"; then \
+	if ! poetry run env bash ./script/make_utils/licences.sh --check > "$${TMP_OUT}"; then \
 		cat "$${TMP_OUT}"; \
 		rm -f "$${TMP_OUT}"; \
 		echo "Error while checking licences, see log above."; \
 		echo "Consider re-running 'make licences'"; \
+		exit 1; \
 	else \
 		echo "Licences check OK"; \
 	fi