From 5c921f07bfab5033cec5a6fd635bd7df1bb14e54 Mon Sep 17 00:00:00 2001
From: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Date: Thu, 7 Dec 2023 14:02:03 +0100
Subject: [PATCH] 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>
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4cc407a..eda15fb 100644
--- a/Makefile
+++ b/Makefile
@@ -76,4 +76,3 @@ install-dependencies-void:
 check:
 	./tests/lint
 	./tests/distclean
-	./tests/u-boot-libre