Show diff when generated Rust is not up-to-date

p4lang · Aug 18, 2024 · 4ad183c · 4ad183c
1 parent 594405b
commit 4ad183c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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