From 4ad183cfdd7ba94eef0a864454a17078c5ff15be Mon Sep 17 00:00:00 2001 From: Campbell He Date: Sun, 18 Aug 2024 04:45:54 +0000 Subject: [PATCH] Show diff when generated Rust is not up-to-date --- CI/check_codegen.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CI/check_codegen.sh b/CI/check_codegen.sh index b87bd005..918e303b 100755 --- a/CI/check_codegen.sh +++ b/CI/check_codegen.sh @@ -31,6 +31,8 @@ diff="$(git status --porcelain rust)" if [ ! -z "$diff" ]; then echo "The generated Rust files are not up-to-date" + echo "DIFF:" + echo "$diff" echo "You can regenerate them with './codegen/update.sh' and commit the changes" exit 1 fi