From 9e5467294f995ff8e93ebc57e795caa0386fe7da Mon Sep 17 00:00:00 2001 From: rudy Date: Tue, 10 May 2022 16:16:02 +0200 Subject: [PATCH] fix(ci): make the job fail in case of not up to date cpp files --- concrete-optimizer-cpp/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/concrete-optimizer-cpp/Makefile b/concrete-optimizer-cpp/Makefile index d723f17cb..a7fa2da0f 100644 --- a/concrete-optimizer-cpp/Makefile +++ b/concrete-optimizer-cpp/Makefile @@ -47,4 +47,4 @@ test-ci: # force regeneration of sources rm -rf $(INTERFACE_HEADER) $(INTERFACE_CPP) $(INTERFACE_HEADER_ORIG) $(INTERFACE_CPP_ORIG) $(MAKE) CARGO_PROFILE=dev PROFILE_SUBDIR=debug test - git diff --check src/cpp || echo Please commit the new version of generated files + git diff --exit-code src/cpp || (echo Please commit the new version of generated files && exit 1)