From ac57283611793e8115e11203c4f53b90395fce32 Mon Sep 17 00:00:00 2001 From: Amaury Pouly Date: Mon, 18 Nov 2024 22:27:39 +0000 Subject: [PATCH] [ci] Remove DIF from generated files check Signed-off-by: Amaury Pouly --- ci/scripts/check-generated.sh | 4 ---- 1 file changed, 4 deletions(-) diff --git a/ci/scripts/check-generated.sh b/ci/scripts/check-generated.sh index ccca422d1931a..7a18298bc67a5 100755 --- 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