[ci] Remove DIF from generated files check

Signed-off-by: Amaury Pouly <[email protected]>
lowRISC · Jan 16, 2025 · ac57283 · ac57283
1 parent 0aa682f
commit ac57283
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/ci/scripts/check-generated.sh b/ci/scripts/check-generated.sh
@@ -78,10 +78,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