Makefile: check: don't check u-boot-libre yet.

The u-boot-libre check has reproducibility issues. In addition it's
currently broken. So it's better to disable it until patches to fix it
are merged in.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2023-12-07 14:02:03 +01:00 committed by Adrien 'neox' Bourmault
parent fa4cd06333
commit 5c921f07bf
Signed by: neox
GPG Key ID: 2974E1D5F25DFCC8
1 changed files with 0 additions and 1 deletions

View File

@ -76,4 +76,3 @@ install-dependencies-void:
check:
./tests/lint
./tests/distclean
./tests/u-boot-libre