[ci] Remove DIF from generated files check

Signed-off-by: Amaury Pouly <[email protected]>
pamaury · Jan 6, 2025 · 7fa3e55 · 7fa3e55
1 parent 56bf463
commit 7fa3e55
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/ci/scripts/check-generated.sh b/ci/scripts/check-generated.sh
@@ -83,10 +83,6 @@ gen_and_check_clean \
     "secded primitive code" \
     util/design/secded_gen.py --no_fpv || bad=1
 
-gen_and_check_clean \
-    "DIFs" \
-    util/make_new_dif.py --mode=regen --only=autogen || bad=1
-
 gen_and_check_clean "MUBI package" util/design/gen-mubi.py || bad=1
 
 gen_and_check_clean "HW block summary" util/gen_doc_hw_summary_table.py || bad=1